Martínez, I., & Piza, E. (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