000 01328nam a22002657a 4500
003 BGE
005 20260403051834.0
006 a fr|||| 000 0
007 ta
008 140721s2000 pe a|||f |||| 000 0 spa d
020 _a9972421821
040 _aBGE
_c
050 0 4 _aBC 59
_bT79 2002
100 1 _95416
_aTrelles Montero, Óscar
245 1 0 _aIntroducción a la lógica
_cÓscar Trelles Montero y Diógenes Rosales Papa
_h[Texto impreso]
250 _a2a ed.
_b1a reimpr.
260 _aLima :
_bFondo editorial de la Pontificia Universidad Católica del Perú,
_c2000 (reimpr. 2002)
300 _a388 p. :
_c21 cm.
505 _aConceptos 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).
650 0 _95412
_aLógica
700 1 _95417
_aRosales Papa, Diógenes
856 4 1 _3Google libros
_y(Vista previa)
_uhttp://books.google.com.pe/books?id=omnV5xukKVQC&printsec=frontcover&dq=9972421821&hl=es&sa=X&ei=m51CT8H5K8Peggfixu2vCA&ved=0CC0Q6AEwAA#v=onepage&q&f=false
900 _a
942 _2lcc
_cBK
_hBC 59
_kT79 2002
999 _c615
_d615