MARTÍNEZ, I.; PIZA, E. Problemas de decisión y recursividad en sistemas lógicos formales. Revista de Matemática: Teoría y Aplicaciones, [S. l.], v. 23, n. 1, p. 11–39, 2017. DOI: 10.15517/rmta.v23i1.22338. Disponível em: https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338. Acesso em: 6 may. 2024.