Return to Article Details Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural Download Download PDF