Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567

Journal of Symbolic Logic 33 (4):604-605 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1969

DOI

10.2307/2271370

Links

PhilArchive



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

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

Kurt Schütte: "Beweistheorie". [REVIEW]W. Stegmüller - 1962 - Ratio (Misc.) 4 (1):69.
Beweistheorie von KPN.Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879.
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.
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.
Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):148-149.
K. Schütte, Beweistheorie.Oskar Becker - 1961 - Philosophische Rundschau 9:77.
Review: Paul Bernays, Probleme der Theoretischen Logik. [REVIEW]K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147-148.
Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16.K. Schütte - 1978 - Journal of Symbolic Logic 43 (1):147-153.
Beweistheorie.Kurt Schuette - 1968 - Critica 2 (4):125-126.
Review: Laszlo Kalmar, A Hilbert-fele Bizonyitaselmelet Celkituzesei, Modszerei es Eredmenyei (Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie). [REVIEW]Rózsa Péter - 1941 - Journal of Symbolic Logic 6 (3):110-111.
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.
The "Dutch's Problem" and Leibniz's Point of View on the "Analytic Art".Romano Gatto & Franco Palladino - 1992 - Studia Leibnitiana 24 (1):73-92.
Review: Paul Lorenzen, Konstruktive Begrundung der Mathematik. [REVIEW]Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261.
Lorenzen Paul. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 , S. 1–24.Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):261-262.

Analytics

Added to PP
2013-11-03

Downloads
57 (#279,780)

6 months
3 (#962,988)

Historical graph of downloads
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