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: 92,168

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.
Kurt Schütte: "Beweistheorie". [REVIEW]W. Stegmüller - 1962 - Ratio (Misc.) 4 (1):69.
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.
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.
K. Schuette, "Beweistheorie".A. R. Raggio - 1968 - Critica 2 (4):125.
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.
Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie.Klaus Ehlers - 1974 - Deutsche Zeitschrift für Philosophie 22 (12):1472.
Heyting, A., Mathematische Grundlagenforschung, Intuitionismus und Beweistheorie. [REVIEW]E. Hartmann - 1941 - Philosophisches Jahrbuch 54:374-375.
Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung.Jules Vuillemin - 1972 - Kant Studien 63 (1-4):289-304.
Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln.Erwin Engeler - 1961 - Mathematical Logic Quarterly 7 (11‐14):213-218.
Ergänzungen zu 3. Die transfinite Induktion in W. Ackermanns Beweistheorie.Oskar Becker - 1927 - Jahrbuch für Philosophie Und Phänomenologische Forschung 8:770.
Beweistheorie, Mathematik und Syllogistik: zum Problem ihres Verhältnisses in Aristoteles' Zweiten Analytiken.M. Bordt - 1989 - Theologie Und Philosophie 64 (1):23-52.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,197,378)

6 months
2 (#1,204,205)

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