Dreben, B., & Goldfarb, W. D. (1979). The decision problem: Solvable classes of quantificational formulas. Addison-Wesley, Advanced Book Program.
芝加哥风格引文Dreben, Burton, 与 Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Reading, Mass: Addison-Wesley, Advanced Book Program, 1979.
MLA引文Dreben, Burton, 与 Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, Advanced Book Program, 1979.
警告：这些引文格式不一定是100％准确.