VÍCTOR
ARANDA UTRERO
Investigador en el periodo 2021-2022
Tesis doctoral
-
Nociones de completud en Husserl y Carnap 2020
Universidad Autónoma de Madrid
Tribunales de tesis (1)
-
Secretario del tribunal
Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023Universidad de Salamanca