TY  - BOOK
AU  - Sperschneider, V
AU  - Antoniou, G. (Grigorios)
TI  - Logic: a foundation for computer science 
SN  - 0201565145
AV  - QA76 .S647 1991
PY  - 1991///
CY  - Workingham, England
PB  - Addison-Wesley Publishing
KW  - Computer science
KW  - Artificial intelligence
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -