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