Clausal form logic
Subtitle: an introduction to the logic of computer reasoning
By: Tom Richards.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1989
Place of publication: Wokingham
Language: eng
Number of pages: 352
Subjects: Electronic digital computers -- Programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliography and index.