TY  - BOOK
AU  - Lu,Zhongwan
TI  - Mathematical logic for computer science
T2  - Series in computer science
SN  - 9810230915
AV  - QA76.9M35 L83 1998
PY  - 1998///
CY  - Singapore
PB  - World Scientific
KW  - Lógica simbólica y matemática
KW  - Matemáticas computacionales
ER  -