TY  - BOOK
AU  - Schoning, Uwe
TI  - Logic for Computer Scientists
SN  - 9780817634537
U1  - 511.3 SCH 
PY  - 1989///
CY  - Bostan
PB  - Birkhauser
KW  - Logic Programming
KW  - Logic, Symbolic and mathematical
ER  -