Stainton R. Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural. CRHF [Internet]. 12 de diciembre de 2018 [citado 3 de julio de 2024];31(91):108-16. Disponible en: https://critica.filosoficas.unam.mx/index.php/critica/article/view/757