TESIS DOCTORALES - TESEO
- Título: UNA TRADUCCIÓN DE LA TEORÍA DE TIPOS PROPOSICIONAL HÍBRIDA ECUACIONAL (EHPTT) A LA LÓGICA MULTIVARIADA DE PRIMER ORDEN (MSL)
- Autor: González López, José Javier
- Universidad: Universidad de Salamanca
- Departamento: Instituto Universitario de Estudios sobre la Ciencia y la Tecnología
- Fecha de Lectura: 12/05/2023
- Programa de doctorado: Programa de Doctorado en Lógica y Filosofía de la Ciencia por la Universidad de A Coruña; la Universidad de La Laguna; la Universidad de Salamanca; la Universidad de Santiago de Compostela; la Universidad de Valladolid y la Universitat de València (Estudi General)
- Dirección:
-
MANZANO ARJONA, MARÍA GRACIA (DIRECTOR)
-
Moldovan, Andrei (CODIRECTOR)
- Tribunal:
-
GONÇALVES MARTINS, MANUEL ANTONIO (PRESIDENTE)
-
Aranda Utrero, Víctor (SECRETARIO)
-
Huertas Sánchez, Maria Antònia (VOCAL)
- Descriptores:
- LOGICA
- LOGICA FORMAL
- LOGICA MODAL
- APLICACIONES DE LA LOGICA
-
Localización: ARCHIVO USAL
- Resumen: