00871nam a2200181Ia 450000500170000000800410001702000120005808200120007010000280008224500330011025000120014326000210015530000080017650504500018470000300063494200080066499900170067220241209164317.0241209s9999    xx            000 0 und d  afca6979  a160/T79  aTrelles Montero, Oscar. 0aIntroducción a la lógica  a2a. ed.  aLimabPUCPc2000  a388  a1. Conceptos básicos. 2.Lógica proposicional: aspectos semánticos. 3. Simbolización y aplicaciones. 4. Consecuencia semántica. 5. Lógica cuantificacional: introducción. 6. Simbolización. 7. Inferencias clásicas. 8. El sistema de deducción natural proposicional. 9. Lógica cuantificacional: el método DN. 10. El sistema de diagramas sintácticos (SDS). Clave de ejercicios de repaso. Bibliografía. Indice de términos.  a Rosales Papa, Diógenes  yLIB  c23550d23550