Martínez I, Piza E. Problemas de decisión y recursividad en sistemas lógicos formales. Rev. mat. (En línea) [Internet]. 19 de abril de 2017 [citado 27 de marzo de 2025];23(1):11-39. Disponible en: https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338