Introducción a la lógica [Texto impreso]
Óscar Trelles Montero y Diógenes Rosales Papa
- 2a ed. 1a reimpr.
- Lima : Fondo editorial de la Pontificia Universidad Católica del Perú, 2000 (reimpr. 2002)
- 388 p. : 21 cm.
Conceptos básicos -- Lógica proposicional: Aspectos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- El sistema de deducción natural proposicional -- Lógica cuantificacional: el método DN -- El sistema de diagramas sintácticos (SDS).