- Weitere Titel
-
Konstruktive reverse Mathematik
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Siegen, Universität Siegen, Habilitationsschrift, 2018
- Klassifikation
-
Mathematik
- Schlagwort
-
Reverse mathematics
Constructive mathematics
Mathematics
Axioms
- Ereignis
-
Veröffentlichung
- (wo)
-
Siegen
- (wer)
-
Universitätsbibliothek der Universität Siegen
- (wann)
-
2018
- Urheber
- URN
-
urn:nbn:de:hbz:467-13064
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Diener, Hannes
- Universitätsbibliothek der Universität Siegen
Entstanden
- 2018
Ähnliche Objekte (12)
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Constructive and destructive reverse engineering aspects of digital systems
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Reverse mathematics and the ascending chain condition
Some contributions to higher-order Reverse Mathematics
Constructive approximation
Constructive analysis
Constructive waterfalls
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Constructive and destructive reverse engineering aspects of digital systems
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Reverse mathematics and the ascending chain condition
Some contributions to higher-order Reverse Mathematics
Constructive approximation
Constructive analysis
Constructive waterfalls
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Constructive and destructive reverse engineering aspects of digital systems
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Reverse mathematics and the ascending chain condition
Some contributions to higher-order Reverse Mathematics
Constructive approximation
Constructive analysis