de Gortari, Eli. «Una mecanización Del cálculo Proposicional». Diánoia 12, no. 12 (enero 2, 1966): 58–86. Accedido mayo 5, 2024. https://dianoia.filosoficas.unam.mx/index.php/dianoia/article/view/1177.