TY  - BOOK
AU  - Schoning ,Uwe
TI  - Logic for computer scientists
SN  - 0-8176-3453-0
AV  - MATH QA9.S363 
PY  - 1989///
CY  - Boston
PB  - Birkhauser
KW  - Logic
KW  - symbolic and mathematical
KW  - Logic programming
ER  -