SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
La reducción de la teoría de tipos de hintikka a la lógica de segundo orden
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Salinas Rodríguez, MauricioTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Coordinación de Estudios de PosgradoEntidades por adscripción en la UNAM:
Facultad de Ciencias;