TY  - BOOK
AU  - Zhongwan, Lu
TI  - Mathematical Logic for Computer Science
U1  - 511.3 
PY  - 1989///
CY  - Singapore
PB  - World Scientific
KW  - Mathematics
ER  -