TY  - BOOK
AU  - Dreben, Burton
AU  - Goldfarb, Warren D.
TI  - THE DECISION PROBLEM
U1  - 511.3 
PY  - 1979///
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Predicate Calculus
KW  - Unsolvability (Mathematical Logic)
ER  -