00554nam a2200193Ia 450000100060000000300040000600500170001000800410002702000180006804000080008608200180009410000180011224500590013025000120018926000450020130000260024665000490027265000390032117564OSt20261006004848.0120911s9999    xx            000 0 und d  a9789810230913  cddc  a004.0151bLUZ  aLu, Zhongwan.  aMathematical logic for computer science /cLu Zhongwan  a2nd ed.  bWorld Scientific, aSingapore : cc1998.  a244 p. ill. ;c22 cm.  aElectronic data processingxMathematics.      a Logic, Symbolic and mathematical.