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