000			00853nam a2200181Ia 4500
005			20241209164317.0
008			241209s9999 xx 000 0 und d
020			_afca6979
082			_a160/T79
100			_aTrelles Montero, Oscar.
245		0	_aIntroducción a la lógica
250			_a2a. ed.
260			_aLima _bPUCP _c2000
300			_a388
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			_yLIB
999			_c23550 _d23550