TY  - BOOK
AU  - Schoning Uwe
AU  - Schoning Uwe
TI  - Logic for computer scientists
T2  - modern birkhauser classics
SN  - 9780817647629 (pbk)
U1  - B:(R1)0bD658(B), P8-;1 
PY  - 1989///
CY  - Boston
PB  - Birkhauser       
N1  - Bibliography 155-160p.; Index 163-166p
ER  -