Artículos con arbitraje

• Favio E. Miranda Perea
  Axiomas que caracterizan a la Lógica Clásica.
  Enviado a Memorias de la Sociedad Matemática Mexicana. Abril 2018.


• Favio E. Miranda Perea, Lourdes del Carmen González Huesca, Pilar Selene Lináres Arévalo
  Sobre las nociones de alcance, ligado y sustitución en lógica de predicados: Un enfoque para Ciencias de la Computación
  Por aparecer en las Memorias del XX Encuentro Internacional de Didáctica de la Lógica EIDL 2017. Academia Mexicana de Lógica 2018


• Favio E. Miranda Perea, Araceli Liliana Reyes Cabello, Rafael Reyes Sánchez, Lourdes del Carmen González Huesca
  El Teorema de Síntesis de Kleene mediante Derivadas
  Aportaciones Matemáticas. Serie Comunicaciones. Vol. 48. pp. 33-51. 2014


• Favio E. Miranda Perea, Araceli Liliana Reyes Cabello, Rafael Reyes Sánchez, Lourdes del Carmen González Huesca,
  La Máquina de Turing en el ámbito de los Lenguajes de Programación
  Miscelanea Matemática Vol. 56, pp. 145-178. Sociedad Matemática Mexicana. 2013.


• Favio E. Miranda Perea, Lourdes del Carmen González Huesca, Araceli Liliana Reyes Cabello
  Una semántica constructiva para la lógica de segundo orden AF2
  Memorias de la Sociedad Matemática Mexicana, Aportaciones Matemáticas Vol. 45.Octubre 2012.


• Favio E. Miranda Perea.
  La Lógica Proposicional de Segundo Orden
  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.
  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.
  En Aportaciones Matemáticas 25.
  Sociedad Matemática Mexicana. 1999.


• Favio E. Miranda Perea
  La Completud de Paramodulación con RFP-Resolución.
  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. 
  En Aportaciones Matemáticas 22.
  Sociedad Matemática Mexicana. 1998

Libros

• Favio E. Miranda Perea, Elisa Viso Gurovich
  Matemáticas Discretas.
  Segunda edición. Las Prensas de Ciencias. México 2016. ISBN: 978-607-02-8095-5


• José Alfredo Amor Montaño, Gabriela Campero Arena, Favio E. Miranda Perea.
  Teoría de Conjuntos, Curso Intermedio
  Las Prensas de Ciencias, Segunda Edición, México 2014. ISBN: 978-607-02-5626-4.


• Favio E. Miranda Perea, Elisa Viso Gurovich
  Matemáticas Discretas.
  Las Prensas de Ciencias. México 2010. ISBN: 978-607-02-1302-1


• José Alfredo Amor Montaño, Gabriela Campero Arena, Favio E. Miranda Perea.
  Teoría de Conjuntos, Curso Intermedio
  Las Prensas de Ciencias, México 2011. ISBN: 978-607-02-2101-9.


• Favio E. Miranda Perea, Luis Miguel Villegas Silva, Diego Rojas Rebolledo.
  Conjuntos y Modelos. Un Curso Avanzado.
  Libro de Texto para Posgrado. Universidad Autónoma Metropolitana Iztapalapa 2000.

Tesis:

• Favio E. Miranda Perea.
  Fundamentos Lógicos del Programa de Razonamiento Automático 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.
  Tesis de Licenciatura, Matemático. Facultad de Ciencias UNAM 1997.