TY  - BOOK
AU  - Bertossi Durán, Leopoldo
TI  - Lógica para ciencia de la computación
U1  - 511.3 
PY  - 1996///
KW  - GEN
KW  - CMA
ER  -