Beweistheorie vonKPN

Archive for Mathematical Logic 20 (1-2):53-63 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02011138

Links

PhilArchive



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

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

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.
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen.Gerhard Jäger - 1980 - Archive for Mathematical Logic 22 (3-4):121-139.
K. Schuette, "Beweistheorie".A. R. Raggio - 1968 - Critica 2 (4):125.
Beweistheorie.Kurt Schuette - 1968 - Critica 2 (4):125-126.
Beweistheorie.[author unknown] - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.
K. Schütte, Beweistheorie.Oskar Becker - 1961 - Philosophische Rundschau 9:77.
Kurt Schütte: "Beweistheorie". [REVIEW]W. Stegmüller - 1962 - Ratio (Misc.) 4 (1):69.
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.
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.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie.Klaus Ehlers - 1974 - Deutsche Zeitschrift für Philosophie 22 (12):1472.

Analytics

Added to PP
2020-12-03

Downloads
5 (#1,544,856)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The strength of admissibility without foundation.Gerhard Jäger - 1984 - Journal of Symbolic Logic 49 (3):867-879.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references