Dreben, Burton <br/><br/>
The decision problem: solvable classes of quantificational formulae/ 
by Burton Dreben and Warren D. Goldfarb. 
 - Reading, Massachusetts  Addison-Wesley  1979 
 - xii.,271p. 
<br/><br/>Bibliography: p. 257-260 
<br/><br/><label>ISBN: </label>020102540X 
<br/><br/><label>LC Class. No.: </label>QA 935