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