TY  - BOOK
AU  - Schoning Uwe
TI  - Logic for computer scientists
SN  - 0-8176-3453-3
U1  - 511.3 
PY  - 1989///
CY  - Boston
PB  - Birkhauser
KW  - Computer scientists
KW  - Mathematical logic
ER  -