TY - BOOK AU - Acuña Casas,Raúl TI - Lógica Matemática: Métodos decisorios sintácticos y semánticos con problemas resueltos y propuestos U1 - 511.3 21 PY - 1999/// CY - Lima PB - Univeridad Peruana Unión KW - Lógica matemática KW - Problemas, ejercicios, etc N1 - Texto computarizado; Incluye referencias bibliográficas; Historia y ambito de la lógica -- Algebra de proposiciones -- Proposiciones y tablas de verdad -- Reglas de formación -- Argumentaciones, premisas y conclusiones -- Cuantificadores; SEG44; SEG26; P159; P155; P154; P153; P150; P100; P31; P30; P26; P25; P24; P22; P15; P10 ER -