Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie [Book Review]

Journal of Symbolic Logic 4 (1):31-32 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266226

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die Reine Zahlentheorie. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (4):109-109.
Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Die gegenwärtige Lage in der mathematischen Grundlagenforschung: neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.Gerhard Gentzen - 1938 - Hildesheim: Gerstenberg.
Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitbeweises für die Reine Zahlentheorie.Gerhard Gentzen, D. Hilbert & P. Bernays - 1940 - Mind 49 (194):239-248.
Review: Rozsa Peter, Uber die Mehrfache Rekursion. [REVIEW]S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):57-57.
Péter Rózsa. Über die mehrfache Rekursion. Mathematische Annalen, vol. 113 , pp. 489–527.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):57-57.
Rózsa Péter. Über die mehrfache Rekursion. Mathematische Annalen, vol. 113 (1936), pp. 489–527.C. H. Langford & A. P. Ushenko - 1937 - Journal of Symbolic Logic 2 (1):57-57.
Péter Rózsa. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Publicationes mathematicae , vol. 4 no. 3–4 , pp. 362–375. [REVIEW]Paul Axt - 1957 - Journal of Symbolic Logic 22 (4):376-376.
Review: Rozsa Peter, The Bounds of the Axiomatic Method. [REVIEW]László Kalmár - 1941 - Journal of Symbolic Logic 6 (3):111-111.

Analytics

Added to PP
2015-02-05

Downloads
28 (#587,772)

6 months
5 (#710,905)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
Consistency of Heyting arithmetic in natural deduction.Annika Kanckos - 2010 - Mathematical Logic Quarterly 56 (6):611-624.
A constructive consistency proof of a fragment of set theory.Jon Pearce - 1984 - Annals of Pure and Applied Logic 27 (1):25-62.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references