Martínez, I.; Piza, E. Problemas De decisión Y Recursividad En Sistemas lógicos Formales. Rev. mat. (En línea) 2017, 23, 11-39.