Martínez, Iveth, y Eduardo Piza. «Problemas De decisión Y Recursividad En Sistemas lógicos Formales». Revista de Matemática: Teoría y Aplicaciones 23, no. 1 (abril 19, 2017): 11–39. Accedido noviembre 22, 2024. https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338.