Lu, Chung-wan.
Mathematical logic for computer science / Lu Zhongwan. - Singapore ; Teaneck, N.J. : World Scientific, c1989. - ix, 248 p. : ill. ; 23 cm.
Includes bibliographical references (p. 229-230) and index.
9971502518 (pbk.)
89033165
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / L8 1989
004.0151 / LU 1989
Mathematical logic for computer science / Lu Zhongwan. - Singapore ; Teaneck, N.J. : World Scientific, c1989. - ix, 248 p. : ill. ; 23 cm.
Includes bibliographical references (p. 229-230) and index.
9971502518 (pbk.)
89033165
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / L8 1989
004.0151 / LU 1989