Sobre El Pensamiento Del Dr. Claudio Gutiérrez Carranza: Un Algoritmo De Inteligencia Artificial Para Probar Teoremas De lógica De cuantificación Uniforme. Rev. Filosofía UCR 2025, 63 (165). https://doi.org/10.15517/revfil.2024.58416.