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 2024 May 17];31(91):108-16. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/757