Beweistheorie

[author unknown]
British Journal for the Philosophy of Science 13 (51):251-253 (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,571

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

K. Schuette, "Beweistheorie".A. R. Raggio - 1968 - Critica 2 (4):125.
Kurt Schütte: "Beweistheorie". [REVIEW]W. Stegmüller - 1962 - Ratio (Misc.) 4 (1):69.
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.
K. Schütte, Beweistheorie.Oskar Becker - 1961 - Philosophische Rundschau 9:77.
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.
Beweistheorie.Kurt Schuette - 1968 - Critica 2 (4):125-126.
Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie.Klaus Ehlers - 1974 - Deutsche Zeitschrift für Philosophie 22 (12):1472.
Beweistheorie von KPN.Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879.
Heyting, A., Mathematische Grundlagenforschung, Intuitionismus und Beweistheorie. [REVIEW]E. Hartmann - 1941 - Philosophisches Jahrbuch 54:374-375.
Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung.Jules Vuillemin - 1972 - Kant Studien 63 (1-4):289-304.
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.
Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln.Erwin Engeler - 1961 - Mathematical Logic Quarterly 7 (11‐14):213-218.
Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung.J. Vuillemin - 1972 - Société Française de Philosophie, Bulletin 63 (3):289.

Analytics

Added to PP
2017-02-20

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

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references