Akten
Gödel's interpretation of Heyting's arithmetic
Enthält: zwei Kopien vom Reprint (1960) des Artikels "Gödel's interpretation of Heyting's arithmetic" aus Summaries of Talks Presented at the Summer Insitute for Symbolic Logic Cornell University 1957, hg. v. J. Rosser, Ithaca N.Y.
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-25
- Extent
-
22 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1957
- 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
- 1957
Other Objects (12)
Goedel
Goedel
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Gödel, Ernst
Gustav Goedel
Goedel
Goedel
Goedel
August Goedel, Borna
Gödel, Friedrich Johannes
Mostly on Gödel
Gödel-Symposium 1983
Goedel
Goedel
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Gödel, Ernst
Gustav Goedel
Goedel
Goedel
Goedel
August Goedel, Borna
Gödel, Friedrich Johannes
Mostly on Gödel
Gödel-Symposium 1983
Goedel
Goedel
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Gödel, Ernst
Gustav Goedel
Goedel
Goedel
Goedel
August Goedel, Borna
Gödel, Friedrich Johannes
Mostly on Gödel