Stainton, R. Rosa F. Martínez Cruzado, Fundamentos De lógica simbólica: El cálculo De deducción Natural. CRHF 2018, 31, 108-116.