Martínez, Iveth, y Eduardo Piza. 2017. «Problemas De decisión Y Recursividad En Sistemas lógicos Formales». Revista De Matemática: Teoría Y Aplicaciones 23 (1):11-39. https://doi.org/10.15517/rmta.v23i1.22338.