Kurt Schütte: "Beweistheorie" [Book Review]

Ratio (Misc.) 4 (1):69 (1962)
  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,219

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: 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.
K. Schütte, Beweistheorie.Oskar Becker - 1961 - Philosophische Rundschau 9:77.
Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):148-149.
ISILC Proof Theory Symposion: dedicated to Kurt Schütte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.K. Schütte, Justus Diller & G. H. Müller (eds.) - 1975 - New York: Springer Verlag.
Review: Kurt Schutte, J. N. Crossley, Proof Theory. [REVIEW]W. A. Howard - 1982 - Journal of Symbolic Logic 47 (1):218-220.
Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
Review: Gaisi Takeuti, Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):62-64.
Review: Gaisi Takeuti, On Skolem's Theorem. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
Review: Hiroshi Nagai, The Concept of Formality in Mathematics. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55.
Review: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

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