TY  - BOOK
AU  - Dreben B
AU  -  Goldefarb W D
TI  - Decision problem: Solvable classess of quantificational formulas
T2  - Mathematical logic
U1  - B2893, L93 
PY  - 1979///
CY  - Massachusetts
PB  - Addison-Wesley         
ER  -