TY  - BOOK
AU  - Zhongwan L
TI  - Mathematical Logic for computer science
SN  - 9971-50-251-8
U1  - 511.3 
PY  - 1989///
CY  - Singapore
PB  - World Scientific
KW  - Electronic data processing
KW  - Mathematical logic
ER  -