TY  - BOOK
AU  - ZHONGWAN,LU
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
SN  - KBCS
U1  - 726 
PY  - 1989///
CY  - SINGAPORE
PB  - WS
N1  - SC-014
ER  -