![Foto de JOSÉ JAVIER](/img/uploaded/9d56868372ef241fa39f57c1cae13ade.jpg)
JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
École doctorale: LÓGICA Y FILOSOFÍA DE LA CIENCIA
Domaine: Lógica y Filosofía de la Ciencia
Groupe de recherche: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
Email: josejaviergl@usal.es
Docteur à l Universidad de Salamanca avec la thèse Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirigée par Dra. María Gracia Manzano Arjona, Dr. Andrei Moldovan.