TY  - BOOK
AU  - Lu, Zhongwan.
TI  - Mathematical logic for computer science
SN  - 9789810230913
U1  - 004.0151 
PY  - 1998///
CY  - Singapore : 
PB  - World Scientific, 
KW  - Electronic data processing
KW  - Mathematics.
KW  -  Logic, Symbolic and mathematical
ER  -