Review: Kurt Godel, John Dawson, Review of Skolem's Uber die Unmoglichkeit Einer Vollstandigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716); Kurt Godel, John Dawson, Review of Skolem's Uber die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels endlich oder Abzahlbar Unendlich Vieler Aussagen mit Ausschlieblich Zahlenvariablen; Robert Vaught, Introductory Note to 1934c and 1935 [Book Review]
Journal of Symbolic Logic 55 (1):347-348 (1990)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Über Die Charakterisierbarkeit Der Zahlenreihe in Gewissen Nichtstandardmodellen Der Arithmetik.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (8‐9):113-116.
Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Review: Kurt Godel, Uber Die Lange Yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the Length of Proofs (1936a); Rohit Parikh, Introductory Note to 1936a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-348.
Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory Note to 1932c. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
Introductory Note to Kurt Gödel's ``Some Basic Theorems on the Foundations of Mathematics and Their Implications''.George Boolos - 1995 - In Solomon Feferman (ed.), Kurt Gödel, Collected Works. Oxford University Press. pp. 290-304.
Future Tasks for Gödel Scholars.John W. Dawson & Cheryl A. Dawson - 2005 - Bulletin of Symbolic Logic 11 (2):150-171.
Analytics
Added to PP index
2013-11-22
Total views
2 ( #1,378,332 of 2,419,946 )
Recent downloads (6 months)
1 ( #542,808 of 2,419,946 )
2013-11-22
Total views
2 ( #1,378,332 of 2,419,946 )
Recent downloads (6 months)
1 ( #542,808 of 2,419,946 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
