Stainton R. Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural. CRHF [Internet]. 2018 Dec. 12 [cited 2025 Apr. 19];31(91):108-16. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/757