000			00589nam a2200205Ia 4500
003			OSt
005			20141105113749.0
008			120911s9999 xx 000 0 und d
020			_a9789810230913
040			_cddc
082			_a004.0151 _bLUZ
100			_aLu, Zhongwan.
245			_aMathematical logic for computer science / _cLu Zhongwan
250			_a2nd ed.
260			_bWorld Scientific, _aSingapore : _cc1998.
300			_a244 p. ill. ; _c22 cm.
650			_aElectronic data processing _xMathematics.
650			_a Logic, Symbolic and mathematical.
942			_2ddc _cOS
999			_c28590 _d28590