Stainton, R. 2018. 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. 31, 91 (dic. 2018), 108–116. DOI:https://doi.org/10.22201/iifs.18704905e.1999.757.