R. Stainton, «Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural», CRHF, vol. 31, n.º 91, pp. 108–116, dic. 2018.