Logic
Subtitle: a foundation for computer science
By: V. Sperschneider & G. Antoniou.
Contributors: Antoniou, G.
Series: International computer science series
Publisher: Addison-Wesley
Published: 1991
Place of publication: Wokingham, England; Reading, Mass
Language: eng
Number of pages: 495
Subjects: Computer science.; Artificial intelligence.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 485-490) and index.