Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen [Book Review]

Journal of Symbolic Logic 55 (1):346-347 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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: 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. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
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.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
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, 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.
Review: John W. Dawson, A Godel Chronology. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-341.
Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
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.
The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
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
2013-11-22

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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