Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie

Erkenntnis 5 (1):288-289 (1935)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf00172318

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.Arend Heyting - 1934 - Berlin,: Springer.
Heyting, A., Mathematische Grundlagenforschung, Intuitionismus und Beweistheorie. [REVIEW]E. Hartmann - 1941 - Philosophisches Jahrbuch 54:374-375.
Ribeiro H. and Schwabauer R.. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 122–123. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.
Mathematische Grundlagenforschung.Arnold Schmidt - 1952 - Journal of Symbolic Logic 17 (3):198-199.
Leibniz und die Mathematische Grundlagenforschung.Heinrich Scholz - 1944 - Journal of Symbolic Logic 9 (4):98-99.
Review: Arnold Schmidt, Mathematische Grundlagenforschung. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):198-199.
On Rational Betting Systems.Ernest W. Adams - 1962 - Archiv für Mathematische Logik Und Grundlagenforschung 6:7-29.
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 , pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 , pp. 8–12. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336.
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.

Analytics

Added to PP
2013-12-09

Downloads
15 (#1,229,929)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references