On the Completeness of Quantification Theory

Journal of Symbolic Logic 18 (4):339-339 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266583

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Review: Burton Dreben, On the Completeness of Quantification Theory. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (4):339-339.
Dreben Burton. On the completeness of quantification theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 , pp. 1047–1052. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (4):339-339.
Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
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 and John Denton. A supplement to Herbrand. The journal of symbolic logic, vol. 31 , pp. 393–398.Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-522.
Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
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.
Burton Dreben and Stål Aanderaa. Herbrand analyzing functions. Bulletin of the American Mathematical Society, vol. 70 , pp. 697–698. [REVIEW]Peter Andrews - 1968 - Journal of Symbolic Logic 32 (4):521.
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.
Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 , pp. 528–532. [REVIEW]F. C. Oglesby - 1964 - Journal of Symbolic Logic 29 (2):101.

Analytics

Added to PP
2015-02-05

Downloads
8 (#1,336,469)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

Add more citations

References found in this work

No references found.

Add more references