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