Logic :
Sperschneider, V
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.
QA76 / .S647 1991
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.
QA76 / .S647 1991