Lu, Zhongwan.
Mathematical logic for computer science / Lu Zhongwan. - 2nd ed. - Singapore : World Scientific , c1998. - xi, 244 p. : ill. ; 23 cm.
Includes bibliographical references (p. 227 - 228) and index.
9810230915
Computer science--Mathematics
Logic, Symbolic and mathematical.
004.0151 / LUZ
Mathematical logic for computer science / Lu Zhongwan. - 2nd ed. - Singapore : World Scientific , c1998. - xi, 244 p. : ill. ; 23 cm.
Includes bibliographical references (p. 227 - 228) and index.
9810230915
Computer science--Mathematics
Logic, Symbolic and mathematical.
004.0151 / LUZ