Logic : a foundation for computer science /
V. Sperschneider & G. Antoniou.
- Workingham, England : Addison-Wesley Publishing, c1991.
- xii, 495 p. : ill. ; 24 cm.
Includes bibliographical references and index.
0201565145
Computer science. Artificial intelligence. Logic, Symbolic and mathematical.