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