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, 2025. DOI: 10.15517/revfil.2024.58416. Disponível em: https://revistas.ucr.ac.cr/index.php/rfilosofia/article/view/1815. Acesso em: 1 oct. 2025.