TY  - BOOK
AU  - Schöning, Uwe
TI  - Logic for Computer Scientists
SN  - 0817634533
PY  - 2002///
CY  - New York
PB  - Springer-Verlog New York, Inc.
ER  -