TY  - BOOK
AU  - Caicedo, Xavier
TI  - Elementos de lógica y calculabilidad
SN  - 9589216005
PY  - 1990///
CY  - Bogotá (Cundinamarca, Colombia)
PB  - Universidad de los Andes
KW  - Juicio lógico
KW  - Lógica simbólica y matemática
N1  - Incluye bibliografía e índice
ER  -