Lógica de segundo orden y [omega]-modelos
Autor principal: | Salinas Rodríguez, Mauricio |
---|---|
Otras Contribuciones: | Amor Montaño, José Alfredo (Asesor) |
Formato: | Tesis de licenciatura |
Lenguaje: | Español |
Publicado: |
2008
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000633796 http://132.248.9.195/ptd2008/octubre/0633796/Index.html |
Ejemplares similares
-
Logica de segundo orden y reduccion de la logica de segundo orden con semantica sobre estructuras generales a logica de primer orden
por: García Cornejo, Parmenides
Publicado: (2002) -
La reducción de la teoría de tipos de hintikka a la lógica de segundo orden
por: Salinas Rodríguez, Mauricio
Publicado: (2014) -
Lógica de segundo orden y estructuralismo
por: Valencia Gómez, David
Publicado: (2016) -
La lógica de la práctica matemática : la cuestión de la lógica de primer orden y la lógica de segundo orden
por: Barragan Ochoa, José Luis
Publicado: (2013) -
El principio de Kreisel : el caso de la lógica de segundo orden
por: Tapia Navarro, Manuel Eduardo
Publicado: (2016)