Akten
Interpretation of analysis by means of constructive functionals of finite types
Enthält: einen Sonderdruck des Artikels "Interpretation of analysis by means of constructive functionals of finite types" aus Constructivity in Mathematics, hg. v. A. Heyting, Amsterdam 1959
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-35
- Extent
-
1 Sonderdruck
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1959
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1959
Other Objects (12)
Relations between classes of constructive functionals
Transformations of Moment Functionals
Transformations of Moment Functionals
Techniques of Constructive Analysis
Principles of Constructive Mathematics
Body and hope : a constructive interpretation of recent eschatology by means of the phenomenology of the body
Functionals of finite Riemann surfaces
Extensions of hermitian linear functionals
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive topology of bishop spaces
Monadic parametricity of second-order functionals
Relations between classes of constructive functionals
Transformations of Moment Functionals
Transformations of Moment Functionals
Techniques of Constructive Analysis
Principles of Constructive Mathematics
Body and hope : a constructive interpretation of recent eschatology by means of the phenomenology of the body
Functionals of finite Riemann surfaces
Extensions of hermitian linear functionals
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive topology of bishop spaces
Monadic parametricity of second-order functionals
Relations between classes of constructive functionals
Transformations of Moment Functionals
Transformations of Moment Functionals
Techniques of Constructive Analysis
Principles of Constructive Mathematics
Body and hope : a constructive interpretation of recent eschatology by means of the phenomenology of the body
Functionals of finite Riemann surfaces
Extensions of hermitian linear functionals
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive topology of bishop spaces