000 00491pam a2200181a 44500
008 160408b1998 xxu||||| |||| 00| 0 eng d
020 _a9810230915
082 _a005.131
_bZ61M2
100 _aZhongwan,Lu
245 1 _aMATHEMATICAL LOGIC FOR COMPUTER SCIENCE
250 _a2nd
260 _a
_bWorld Scientific, Singapore
_c1998
300 _axi,244
440 _aSeries In Computer Science
_v
650 _aLogic, Symbolic And Mathematical
964 _gCIRC
997 _aA127724 C
999 _c340200
_d340200