TY  - BOOK
AU  - Kueker, David W. 
TI  - Mathematical logic and theoretical computer science
U1  - 511.3 
PY  - 1987///
CY  - New york
PB  - Marcel Dekker
ER  -