Martínez, I. y Piza, E. 2017. Problemas de decisión y recursividad en sistemas lógicos formales. Revista de Matemática: Teoría y Aplicaciones. 23, 1 (abr. 2017), 11–39. DOI:https://doi.org/10.15517/rmta.v23i1.22338.