“Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza: Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme” (2025) Revista de Filosofía de la Universidad de Costa Rica, 63(165). doi:10.15517/revfil.2024.58416.