Hochschulschrift
Extensional Gödel functional interpretation : a consistency proof of classical analysis
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540061199
3540061193
9780387061191
0387061193
- Dimensions
-
26 cm
- Extent
-
VI, 161 S.;
- Language
-
Deutsch
- Notes
-
Teilw. zugleich: Marburg, Univ., Fachbereich Mathematik, Habil.-Schr. 1970.
- Bibliographic citation
-
Lecture notes in mathematics ; 306
- Keyword
-
Analysis
Gödelsches Funktional
Analysis
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
1973
- Creator
-
Luckhardt, Horst
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:22 PM 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.
Object type
- Hochschulschrift
Associated
- Luckhardt, Horst
- Springer
Time of origin
- 1973
Other Objects (12)
Bernays, Gödel and Hilbert's consistency program
Proof reconstruction in classical and non-classical logics
Non-classical aspects in proof complexity
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Anna
Gödel, Otto
Goedel, Franz
Goedel, Max
Bernays, Gödel and Hilbert's consistency program
Proof reconstruction in classical and non-classical logics
Non-classical aspects in proof complexity
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Anna
Gödel, Otto
Goedel, Franz
Goedel, Max
Bernays, Gödel and Hilbert's consistency program
Proof reconstruction in classical and non-classical logics
Non-classical aspects in proof complexity
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Anna
Gödel, Otto
Goedel, Franz