TY  - GEN
AU  - Caicedo F.,Xavier
TI  - Elementos de lógica y calculabilidad
U1  - 511.3 21
PY  - 1990///
CY  - Bogotá
PB  - Universidad de Los Andes, Departamento de Matemáticas
KW  - LÓGICA MATEMÁTICA
KW  - ESTUDIO Y ENSEÑANZA
ER  -