Logic for computer science /
Reeves, Steve,
Logic for computer science / Steve Reeves, Michael Clarke. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990. - xi, 260 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 255-256) and index.
0201416433
Logic, Symbolic and mathematical.
QA 9 / .R4
Logic for computer science / Steve Reeves, Michael Clarke. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990. - xi, 260 p. : ill. ; 24 cm. - International computer science series .
Includes bibliographical references (p. 255-256) and index.
0201416433
Logic, Symbolic and mathematical.
QA 9 / .R4