Rojas Romero J Á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. Rev. Filosofía UCR [Internet]. 26 de enero de 2024 [citado 9 de mayo de 2024];63(165):211-27. Disponible en: https://www.revistas.ucr.ac.cr/index.php/filosofia/article/view/58416