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 11 de abril de 2025];63(165):211-27. Disponible en: https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416