- Alternative title
-
Konstruktive reverse Mathematik
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Siegen, Universität Siegen, Habilitationsschrift, 2018
- Classification
-
Mathematik
- Keyword
-
Reverse mathematics
Constructive mathematics
Mathematics
Axioms
- Event
-
Veröffentlichung
- (where)
-
Siegen
- (who)
-
Universitätsbibliothek der Universität Siegen
- (when)
-
2018
- Creator
- URN
-
urn:nbn:de:hbz:467-13064
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Diener, Hannes
- Universitätsbibliothek der Universität Siegen
Time of origin
- 2018
Other Objects (12)
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Constructive Combinatorics in Elementary School Mathematics
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 analysis
Constructive approximation
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Constructive Combinatorics in Elementary School Mathematics
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 analysis
Constructive approximation
Principles of Constructive Mathematics
Foundations of constructive mathematics : metamathematical studies
Constructive Combinatorics in Elementary School Mathematics
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 analysis