de Gortari, E. 1966. Una mecanización del cálculo proposicional. Diánoia. 12, 12 (ene. 1966), 58–86. DOI:https://doi.org/10.22201/iifs.18704913e.1966.12.1177.