Martínez, I., y E. Piza. «Problemas De decisión Y Recursividad En Sistemas lógicos Formales». Revista De Matemática: Teoría Y Aplicaciones, vol. 23, n.º 1, abril de 2017, pp. 11-39, doi:10.15517/rmta.v23i1.22338.