de Gortari, E. Una mecanización Del cálculo Proposicional. Diánoia 1966, 12, 58–86.