ROJAS ROMERO, J. Ángel. Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme. Revista de Filosofía de la Universidad de Costa Rica, [S. l.], v. 63, n. 165, p. 211–227, 2024. DOI: 10.15517/revfil.2024.58416. Disponível em: https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416. Acesso em: 21 nov. 2024.