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