The decision problem: solvable classes of quantificational formulas

Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.

Analytics

Added to PP
2009-01-28

Downloads
27 (#506,960)

6 months
8 (#158,054)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix.Michael Deutsch - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (18):273-288.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references