Articles
- Favio E. Miranda Perea.
La Logica Proposicional de Segundo Orden
(The propositional second-order logic)
Aportaciones Matemáticas Vol 40.
Sociedad Matemática Mexicana 2009 -
José Alfredo Amor, Montaño, Favio E. Miranda Perea.
Un Vistazo a la Construcción Automática de Modelos.
(An overview of automated model building)
En Aportaciones Matemáticas 27.
Sociedad Matemática Mexicana 2000. - Fernando René Martínez Ortiz, Favio E. Miranda Perea.
Juegos en Teoria de Modelos Finitos.
(Games in finite model theory)
En Aportaciones Matemáticas 25.
Sociedad Matemática Mexicana. 1999. -
Favio E. Miranda Perea
La Completud de Paramodulación con RFP-Resolución.
(The completeness of paramodulation with rpf-resolution)
Memorias del Segundo Encuentro Nacional de Computación, ENC99.
Sociedad Mexicana de Ciencias de la Computación. 1999. - José Alfredo Amor, Montaño, Favio E. Miranda Perea.
Demostración Automática de Teoremas y la Nutria.
(Automated theorem proving and the otter)
En Aportaciones Matemáticas 22.
Sociedad Matemática Mexicana. 1998
Books
- Favio E. Miranda Perea, Elisa Viso Gurovich
Matemáticas Discretas.
(Discrete Mathematics)
Las Prensas de Ciencias 2010. - José Alfredo Amor Montaño, Gabriela Campero Arena,
Favio E. Miranda Perea.
Teoría de Conjuntos Intermedia
(Intermediate Set Theory)
Las Prensas de Ciencias 2011 - Favio E. Miranda Perea, Luis Miguel Villegas Silva, Diego Rojas
Rebolledo.
Conjuntos y Modelos. Un Curso Avanzado.
(Sets and Models, An Advanced Course)
Libro de Texto para Posgrado. Universidad Autónoma Metropolitana Iztapalapa 2000.
Theses:
-
Favio E. Miranda Perea.
Fundamentos Lógicos del Programa de Razonamiento Automático OTTER
(Logical foundations of the automated reasoning program OTTER)
Tesis de Maestria en Ciencias. Facultad de Ciencias UNAM 1999. -
Favio E. Miranda Perea.
Una Prueba de Consistencia de la Aritmética de Peano, del Tipo de Gentzen.
(A Gentzen-like consistency proof of Peano Arithmetic)
Tesis de Licenciatura, Matemático. Facultad de Ciencias UNAM 1997.
