Volver a los detalles del artículo Rosa F. Martínez Cruzado, Fundamentos de lógica simbólica: el cálculo de deducción natural Descargar Descargar PDF