Akten

A (re)view on Gödel's emphasis on higher types

zu Verbundenen Objekten

Enthält: Kopie eines handschriftlichen Manuskriptes

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 4-1-100
Umfang
14 Bl.

Kontext
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda
Bestand
PAKN, GK Georg Kreisel

Laufzeit
[ca. 1999]

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
Letzte Aktualisierung
10.06.2025, 11:28 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • [ca. 1999]

Ähnliche Objekte (12)

Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God

Mostly on Gödel

Akten

Mostly on Gödel

Emphasis on proteomics

Emphasis on proteomics

Internationalization in Mexican higher education : with special emphasis on German-Mexican cooperation

Hochschulschrift

Internationalization in Mexican higher education : with special emphasis on German-Mexican cooperation

Emphasis on Nucleic acids

Aufsatzsammlung

Emphasis on Nucleic acids

Computations in higher types

Computations in higher types

Emphasis on proteomics and proteins

Aufsatzsammlung

Emphasis on proteomics and proteins

Topologies on types

Artikel

Topologies on types

Topologies on types

Arbeitspapier

Topologies on types

On Gödel and the nonexistence of time : Kurt Gödel essay competition 2021 = Gödel und die Nichtexistenz der Zeit : Kurt-Gödel-Preis 2021

On Gödel and the nonexistence of time : Kurt Gödel essay competition 2021 = Gödel und die Nichtexistenz der Zeit : Kurt-Gödel-Preis 2021

Uniform topologies on types

Artikel

Uniform topologies on types

Topologies on types: connections

Arbeitspapier

Topologies on types: connections

Verbundene Objekte