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.