TY  - BOOK
AU  - Zhongwan,Lu
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
SN  - 9810230915
U1  - 005.131 
PY  - 1998///
CY  - 
PB  - World Scientific, Singapore
KW  - Logic, Symbolic And Mathematical
ER  -