Rojas Romero J Ángel. On dr. Claudio Gutierréz Carranza’s thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic. Rev. Filosofía UCR [Internet]. 2024Jan.26 [cited 2024May17];63(165):211-27. Available from: https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416