JOSÉ JAVIER
GONZÁLEZ LÓPEZ
Investigador Predoctoral
Àrea: Lògica i Filosofia de la Ciència
Grup d'investigació: ESTUDIOS SOBRE CIENCIA Y TECNOLOGÍA
Correu: josejaviergl@usal.es
Doctor per la Universidad de Salamanca amb la tesi Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023. Dirigida per Dra. María Manzano, Dr. Andrei Moldovan.