Dreben, Burton. <br/><br/>
The Decision Problem : Solvable Classes of Quantificational Formulas. 

 - London  Addison-Wesley Publishing Com  pany, inc. 1979 
 - xii, 271p. 
<br/><br/><label>ISBN: </label>0 201 02540 x 
<br/><br/><label>Dewey Class. No.: </label>511.3