TY  - BOOK
AU  - Pascual, Julián Iranzo
TI  - Lógica simbólica para informáticos
U1  - 160.03 
PY  - 2006///
KW  - GEN
KW  - CHU
ER  -