The decision problem
Subtitle: solvable classes of quantificational formulas
By: Burton Dreben, Warren D. Goldfarb.
Contributors: Goldfarb, Warren D., joint author.
Publisher: Addison-Wesley, Advanced Book Program; Addison-Wesley Educational Publishers Inc
Published: 1979
Place of publication: Reading, Mass
Language: eng
Number of pages: 271
Subjects: Predicate calculus.; Unsolvability (Mathematical logic)
Notes: Bibliography: p. 257-260.
Includes indexes.