Rojas Romero, J. Ángel. (2024). On dr. Claudio Gutierréz Carranza’s thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic. Revista De Filosofía De La Universidad De Costa Rica, 63(165), 211–227. Retrieved from https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416