STAINTON, R. Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural. Crítica. Revista Hispanoamericana de Filosofía, [S. l.], v. 31, n. 91, p. 108–116, 2018. DOI: 10.22201/iifs.18704905e.1999.757. Disponível em: https://critica.filosoficas.unam.mx/index.php/critica/article/view/757. Acesso em: 17 may. 2024.