Solvable cases of the decision problem

Amsterdam,: North-Holland Pub. Co. (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
The Logic of Decision and Action.Nicholas Rescher (ed.) - 1967 - University of Pittsburgh Press.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.

Analytics

Added to PP
2009-09-15

Downloads
54 (#289,891)

6 months
11 (#225,837)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
What Can You Say? Measuring the Expressive Power of Languages.Alexander Kocurek - 2018 - Dissertation, University of California, Berkeley
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references