Rojas Romero, José Ángel. «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 63, no. 165 (enero 26, 2024): 211–227. Accedido mayo 9, 2024. https://www.revistas.ucr.ac.cr/index.php/filosofia/article/view/58416.