Logic for computer science
By: Steve Reeves, Michael Clarke.
Contributors: Clarke, Michael, 1940-
Series: International computer science series
Publisher: Addison-Wesley
Published: 1990
Place of publication: Wokingham, England; Reading, Mass
Language: eng
Number of pages: 260
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 255-256) and index.