Beweistheorie von KPN

&
Journal of Symbolic Logic 48 (3):879 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273489

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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 Jager, Beweistheorie von KPN. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-879.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567.Paul Bernays - 1968 - Journal of Symbolic Logic 33 (4):604-605.
Reviews. Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, X + 355 pp. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Kurt Schütte: "Beweistheorie". [REVIEW]W. Stegmüller - 1962 - Ratio (Misc.) 4 (1):69.
Review: Kurt Schutte, Ein Konstruktives System von Ordinalzahlen; Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186-186.
Schütte Kurt. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, Bd. 127 , S. 15–32. [REVIEW]Werner Markwald - 1954 - Journal of Symbolic Logic 19 (3):217-218.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
Review: Kurt Schutte, Schlussweisen-Kalkule der Pradikatenlogik. [REVIEW]Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
Review: Kurt Schutte, Eine Bemerkung Uber Quasirekursive Funktionen. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,222,590)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.

Add more citations

References found in this work

No references found.

Add more references