TY  - BOOK
AU  - Naishtat,Francisco Samuel
TI  - Lógica para computación
T2  - Colección Informática y computación
SN  - 9502302826
U1  - 005.131 21
PY  - 2017///
CY  - Buenos Aires
PB  - Eudeba
KW  - LOGICA SIMBOLICA Y MATEMATICA
KW  - PROPOSICIONES LOGICAS
N1  - Bibliografía: p. 293-300; Prefacio -- Apéndice sobre la teoría de conjuntos -- Pte.1. Cálculo de proposiciones. Introducción -- 1. Sintaxis del lenguaje formal -- 2. Semántica del lenguaje formal -- 3. Deducción, noción de modelo, inconsistencia, árboles, teoría de finitud -- 4. Escritura booleana del cálculo proposicional: álgebra de Boole de Lindenbaum -- 5. El lenguaje de cálculo de predicados -- 6. Rudimentos de la teoría de modelos -- Bibliografía
ER  -