000			00414nam a2200145Ia 4500
008			180612s9999||||xx |||||||||||||| ||und||
020			_a0 201 02540 x
041			_aen
082			_a511.3
100			_aDreben, Burton.
245		4	_aThe Decision Problem : Solvable Classes of Quantificational Formulas.
260			_aLondon _bAddison-Wesley Publishing Com _cpany, inc. 1979
300			_axii, 271p.
942			_cPR
999			_c39359 _d39359