de Gortari E. Una mecanización del cálculo proposicional. Diánoia [Internet]. 2 de enero de 1966 [citado 5 de mayo de 2024];12(12):58–86. Disponible en: https://dianoia.filosoficas.unam.mx/index.php/dianoia/article/view/1177