de Gortari, Eli. 1966. «Una mecanización Del cálculo Proposicional». Diánoia 12 (12):58–86. https://doi.org/10.22201/iifs.18704913e.1966.12.1177.