000			00855nam a2200181Ia 4500
005			20250107234102.0
008			250106s2000 xx 000 0 und d
020			_a6979
082			_a160/T79
100			_aTrelles Montero, Oscar.
245		0	_aIntroducción a la lógica
250			_a2a. ed.
260			_aLima _bPUCP _c2000
300			_a388 _eSí
505			_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.
700			_a Rosales Papa, Diógenes
942			_cLIB
999			_c65125 _d65125