The decision problem : solvable classes of quantificational formulas /

Bibliographic Details

Main Author:	Dreben, Burton
Other Authors:	Goldfarb, Warren D.
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
Subjects:	Predicate calculus. Unsolvability (Mathematical logic)