TY  - BOOK
AU  - Zhonngwan, Lu
TI  - Mathematical logic for computer science
U1  - 001.6 
PY  - 1989///
CY  - Singapore
PB  - World Scientific
KW  - Mathematical logic - Computer science
ER  -