Book Review: The decision problem: Solvable classes of quantificational formulas

• 1 January 1982
• journal article
• Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
• Vol. 7  (1) , 273-278
• https://doi.org/10.1090/s0273-0979-1982-15033-9

Abstract

Keywords

• BOOK REVIEW
• QUANTIFICATIONAL FORMULAS
• DECISION PROBLEM
• SOLVABLE CLASSES
• CLASSES OF QUANTIFICATIONAL