Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas [Book Review]

Journal of Symbolic Logic 47 (2):452-453 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
The Decision Problem. Solvable Classes of Quantificational Formulas.Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
DREBEN, B. and GOLDFARB, W. D. The Decision Problem.G. Lolli - 1982 - Scientia 76:420.
Review: Burton Dreben, Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 , pp. 699–706. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Review: Harry R. Lewis, Unsolvable Classes of Quantificational Formulas. [REVIEW]Dieter Rodding - 1982 - Journal of Symbolic Logic 47 (1):221-222.

Analytics

Added to PP
2013-11-03

Downloads
27 (#608,699)

6 months
8 (#416,172)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references