Dreben, B., & Goldfarb, W. D. (1979). The decision problem: Solvable classes of quantificational formulas. Addison-Wesley, Advanced Book Program.
Chicago Style (17th ed.) CitationDreben, Burton, and Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Reading, Mass: Addison-Wesley, Advanced Book Program, 1979.
MLA (9th ed.) CitationDreben, Burton, and Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, Advanced Book Program, 1979.
Warning: These citations may not always be 100% accurate.