“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). https://doi.org/10.15517/revfil.2024.58416.