TY  - BOOK
AU  - Sperschneider,V.
AU  - Antoniou,G.
TI  - Logic: a foundation for computer science 
SN  - 0201565145 
PY  - 1991///
CY  - Wokingham, England
PB  - Addison-Wesley
KW  - Computer science
KW  - Artificial intelligence
KW  - Logic, Symbolic and mathematical
ER  -