Lu, Zhongwan

Mathematical logic for computer science - 2nd ed. - Singapore World Scientific 1989 - ix, 248 p. ill. 23 cm.

Includes bibliographies

9971502518


Computer science
Logic, Symbolic and mathematical

005.131 / ZHO/1998