000 00901nam a2200277 a 4500
005 20250914012621.0
008 981208s1989 si a bi 001 0 eng
020 _a9971502518
039 9 _a201804111223
_blan
_y08-18-1999
_zload
040 _dUKM
090 _aQA76.9.M35L8
090 _aQA76.9.M35
_bL8
100 1 _aLu, Zhong-Wan.
245 1 0 _aMathematical logic for computer science /
_cby Lu Zhong Wan.
260 _aSingapore :
_bWorld Scientific,
_c1989.
300 _a248 p. :
_bill. ;
_c23 cm.
504 _aIncludes index bibliography : p. 230-248.
650 0 _aElectronic data processing
_xMathematics.
650 0 _aLogic, Symbolic and mathematical.
907 _a.b11417997
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA76.9.M35L8
914 _avtls000147060
991 _aFak Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_gsi
_y0
_z.b11417997
999 _c143481
_d143481