TY  - BOOK
AU  - Schoning, Uwe
TI  - Logic For Computer Scientists
SN  - 817634533
U1  - 511.3 
PY  - 1989///
CY  - Boston
PB  - Brkhuser
ER  -