TY  - BOOK
AU  - Bertossi Duran,Leopoldo
ED  - Universidad Catolica de Chile.
TI  - Logica para ciencia de la computacion
T2  - Coleccion textos universitarios
SN  - 9561404044
AV  - QA9.2 B47
PY  - 1996///
CY  - Chile
PB  - Universidad Catolica de Chile, Facultad de Ingenieria
KW  - Lógica simbólica y matemática
ER  -