Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
July 1982Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas
Yuri Gurevich "Review: Burton Dreben and Warren D. Goldfarb, The decision problem: Solvable classes of quantificational formulas, and Harry R. Lewis, Unsolvable classes of quantificational formulas," Bulletin (New Series) of the American Mathematical Society, Bull. Amer. Math. Soc. (N.S.) 7(1), 273-277, (July 1982)