TY  - GEN
AU  - Gutiérrez García,Ismael
TI  - Matemáticas para informática
SN  - 9789587410754
U1  - 004.0151 21
PY  - 2010///
CY  - Barranquilla
PB  - Ediciones Uninorte
KW  - LEMB
KW  - Computadores matemáticas
KW  - Lógica simbólica y matemática
KW  - Teoría de conjuntos
N1  - Incluye alfabeto griego en la página 179; Incluye índice de nombres en la página 183; Incluye índice alfabético en la página  185; Incluye referencias bibliográficas en la página  181; Parte I. Lógica matemática: 1. Cálculo proposicional -- 2. Introducción a la lógica de primer orden --; Parte II. Teoría de conjuntos: 3. El sistema axiomático ZF
ER  -