TY  - BOOK
AU  - 
TI  - Lógica y matemáticas discretas en la informática : el estilo calculatorio / Jaime Alejandro Bohórquez Villamizar
SN  - 9789588726052
U1  - 511.3 
PY  - 2012///
CY  - Colombia, Bogotá: 
PB  - Escuela Colombiana de Ingeniería, 
KW  - LOGICA SIMBOLICA. LOGICA MATEMATICA. ARITMETICA
N1  - Incluye bibliografía; 1. Fundamentos del lenguaje matemático. --2. Lógica de predicados y operatorias. --3. Conjuntos, relaciones y funciones. --4. Aritmética y combinatoria. --5. Teoría de relaciones
ER  -