TY  - BOOK
AU  - Zhongwan, Lu  .
TI  - Mathematical logic for computer science / 
SN  - 9971-50-251-8
U1  - BV(B) 
PY  - 1989///
CY  - Singapore : 
PB  - World Scientific Publishing Co. Pte. Ltd. , 
KW  - Logic, Symbolic and mathematical
ER  -