Dreben, B., & Goldfarb, W. D. (1979). The decision problem: Solvable classes of quantificational formulas. Addison-Wesley, Advanced Book Program.
Citace podle Chicago (17th ed.)Dreben, Burton, a Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Reading, Mass: Addison-Wesley, Advanced Book Program, 1979.
Citace podle MLA (8th ed.)Dreben, Burton, a Warren D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, Advanced Book Program, 1979.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..