TY  - BOOK
AU  - Sperschneider, V Antoniou, G
TI  - Logic a foundation for computer science
SN  - 0-201-56514-5
U1  - 004 SPE 
PY  - 1991///
CY  - NEWYORK
PB  - ADDISON WESLEY
KW  - COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE LOGIC,SYMBOLIC AND MATHEMATICAL
ER  -