TY  - BOOK
AU  - Dreben, Burton.
TI  - The Decision Problem : Solvable Classes of Quantificational Formulas
SN  - 0 201 02540 x
U1  - 511.3 
PY  - 1979///
CY  - London
PB  - Addison-Wesley Publishing Com
ER  -