de Gortari, Eli. 1966. “Una mecanización Del cálculo Proposicional”. DIÁNOIA. Revista De Filosofía 12 (12):58–86. https://doi.org/10.22201/iifs.18704913e.1966.12.1177.