TY  - BOOK
AU  - Gutiérrez García,Ismael
AU  - Villar Salinas, Darwin
AU  - Lombana Rodríguez, Luis Carlos
AU  - García Herrera, Alonso
TI  - Matemáticas para informática
SN  - 9789587410754
U1  - 511.3 23
PY  - 2010///
CY  - Barranquilla
PB  - Uninorte
KW  - Lógica simbólica y matemática
KW  - Teoría de conjuntos
KW  - Lógica de primer orden
N1  - Incluye índice: páginas 183-188.

; Publicado con: Software educativo MaXI; Incluye bibliografía: páginas 181-182; Parte 1: Lógica matemática. Cálculo proposicional. -- Introducción a la lógica de primer orden. -- Parte 2: Teoría de conjuntos. -- El sistema axiomático ZF. -- Dos tópicos en matemáticas discretas (Cd-rom)
ER  -