Vista de 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