TY  - BOOK
AU  - Trelles Montero,Oscar
AU  - Diogenes Rosales Papa
TI  - Introducción a la lógica
U1  - 160 21
PY  - 1988///
CY  - Lima
PB  - Pontificia Universidad Católica del Perú
KW  - Lógica
N1  - Lógica proposicional. Aspéctos semánticos -- Simbolización y aplicaciones -- Consecuencia semántica -- Lógica cuantificacional: Introducción -- Simbolización -- Inferencias clásicas -- Sistema de deducción natural proposicional -- Lógica cuantificacional (LC). El método DN -- Sistema de diagramas sistemáticos.SDS; SEG68; SEG70; SEG69; SEG67; SEG43; P144; P143; P131; P122; P120; P117; P112; P110; P106; P101; P80; P59; P54; P35; P33; P30
ER  -