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 [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

DOI

10.2307/2273168

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Harry R. Lewis. Unsolvable classes of quantificational formulas. Advanced book program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xv + 198 pp. [REVIEW]Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.
Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [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.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp. [REVIEW]Hans Klene Buning - 1995 - Journal of Symbolic Logic 60 (4):1326-1327.
Heikki Mannila and Kari-Jouko Räihä. The design of relational databases. Addison-Wesley Publishing Company, Wokingham, England, and Reading, Mass., etc., 1992, vii + 318 pp. - Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of databases. Addison-Wesley Publishing Company, Reading, Mass., etc., 1995, xviii + 685 pp. - Paris C. Kanellakis. Elements of relational database theory. Handbook of theoretical computer science, Volume B, Formal models and semantics, edited by Jan van Leeuwen, Elsevier, Amsterdam, etc., and The MIT Press, Cambridge, Mass., 1990, pp. 1073–1156. [REVIEW]J. A. Makowsky - 1997 - Journal of Symbolic Logic 62 (1):324-326.
Torng H. C.. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp.Zacharov Basil. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp.Ryan Ray. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
Whitesitt J. Eldon. Boolean algebra and its applications. Addison-Wesley Publishing Company, Reading, Mass., and London, 1961, x + 182 pp. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-104.
Marvin L. Bittinger. Logic, proof, and sets. Second edition. Addison-Wesley Publishing Company, Reading, Mass., etc., 1982, viii + 131 pp. [REVIEW]Anne Leogett - 1985 - Journal of Symbolic Logic 50 (3):860-862.
Logical foundations of functional programming, edited by Huet Gérard, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp. [REVIEW]Karl Meinke - 1994 - Journal of Symbolic Logic 59 (4):1439-1441.
Yu. V. Matiyasevich. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow1993, 223 pp. - Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp. [REVIEW]Neil Immerman - 1997 - Journal of Symbolic Logic 62 (2):677-678.
E. R. Stabler. An introduction to mathematical thought. Addison-Wesley Publishing Company, Inc., Cambridge, Mass., 1953, xviii + 268 pp. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (3):288-289.
Random models and solvable Skolem classes.Warren Goldfarb - 1993 - Journal of Symbolic Logic 58 (3):908-914.
P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (4):672-672.
Bourbaki Nicolas . Theory of sets. Elements of mathematics. English translation of XXXVII 636, XL 289. Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.

Analytics

Added to PP
2016-06-30

Downloads
19 (#795,462)

6 months
6 (#509,130)

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