Tektonik

Archive der Universität Konstanz
Philosophisches Archiv
Vor- und Nachlässe
PAKN, OB Oskar Becker
PAKN, RC Rudolf Carnap
PAKN, PF Paul Feyerabend
PAKN, GG Gerhard Gentzen
PAKN, HJ Hans Jonas
PAKN, WK Wilhelm Kamlah
PAKN, VK Viktor Kraft
PAKN, GK Georg Kreisel
Pittsburgh-Teil
Salzburg-Teil
Manuskripte
Artikel und Memoranda
Vorworte, Einleitungen, Buchprojekte
Notizen, Teilstücke und Fragmente
Rezensionen
GK 4-4-1 - Troelstra/van Dalen, Construcivism in mathematics. - [ca. 1989]
GK 4-4-2 - Pour-El, Marian B./Richards J. Ian, Computability - 1991
GK 4-4-3 - Detlefsen, J. of Phil. Logic 19 (1990) - 1991
GK 4-4-4 - Luckhardt, Theor. Comput. Sci. 83 (1991) - 1991
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 4-4-4
Signatur:	GK 4-4-4
Titel:	Luckhardt, Theor. Comput. Sci. 83 (1991)
Laufzeit:	1991
Enthält:	die Kopie eines Rezensionsformulars des Zentralblatt für Mathematik mit einem handschriftlichen Text Kreisels zu einem Artikel von H. Luckhardt, "New formally undecidable propositions", in: Theoretical Computer Science 83 (1991). Eingangsstempel: 17.9.1991
Umfang:	1 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-4-4
 
GK 4-4-5 - Besprechung J. Hintikka - [ca. 1993]
GK 4-4-6 - Reviews Zentralblatt für Mathematik - 1968-1995
Korrespondenz
Varia
Persönliches
Sonderdruck- und Schriftensammlung
Korrespondenz mit Verena Huber-Dyson
Korrespondenz mit Albert Visser
Korrespondenz mit Brian McGuinness
PAKN, PL Paul Lorenzen
PAKN, HR Hans Reichenbach
PAKN, BT Bruno Thüring
Deposita
Sozialwissenschaftliches Archiv
Universitätsarchiv