TY  - BOOK
AU  - Kueker, David W.
AU  - Smith, Carl H.
TI  - MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE
U1  - 511.3 
PY  - 1987///
CY  - New York
PB  - Marcel Dekker
KW  - Logic, Symbolic And Mathematical
KW  - Electronic Data Processing
ER  -