JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
Eremua: Logika eta Zientziaren Filosofia
Ikerketa taldea: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
E-maila: josejaviergl@usal.es
Doctor por la Universidad de Salamanca con la tesis Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Tesiaren zuzendaria Dra. María Gracia Manzano Arjona, Dr. Andrei Moldovan.