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 16 de agosto de 2024];23(1):11-39. Disponible en: https://revistas.ucr.ac.cr/index.php/matematica/article/view/22338