MARTÍNEZ, I.; PIZA, E. Decision problems and recursiveness in formal logic systems. 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: 16 aug. 2024.