00627nam a2200217Ia 4500 17564 OSt 20261006004848.0 120911s9999 xx 000 0 und d 9789810230913 ddc 004.0151 LUZ Lu, Zhongwan. 17546 Mathematical logic for computer science / Lu Zhongwan 2nd ed. World Scientific, Singapore : c1998. 244 p. ill. ; 22 cm. Electronic data processing Mathematics. 17547 Logic, Symbolic and mathematical. 2678 ddc OS 17564 17564 0 0 ddc 0 0 NU NU 2012-09-11 0 004.0151 LUZ 19585 2013-04-04 00:00:00 2012-09-11 OS