TY  - BOOK
AU  - Gutierréz García Ismael
ED  - Universidad del Norte
TI  - Matemáticas para la informática / 
SN  - 9789587410754
U1  - 511.3 
PY  - 2010///
CY  - Barranquilla: 
PB  - Ediciones Uninorte, 
KW  - Teoría de conjuntos
KW  - Logica simbólica y matemática
N1  - Bibliografía y referencias: páginas 181-182; Lógica matemática -- Cálculo proposicional -- Introducción a la lógica de primer orden -- Teoría de conjuntos
ER  -