TY  - BOOK
AU  - Lu,Zhongwan
TI  - Mathematical logic for Computer Science
SN  - 9971502518
U1  - 004.01'51 
PY  - 1989///
PB  - World Scientific
KW  - Computer Science
KW  - Mathematics
ER  -