Akten
Luckhardt, Theor. Comput. Sci. 83 (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
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 4-4-4
- Umfang
-
1 Bl.
- Kontext
-
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Rezensionen
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1991
- Weitere Objektseiten
- 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.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1991
Ähnliche Objekte (12)
Prop. I. Theor. - Prop. XXV. Theor.
Prop. I. Theor. - Prop. XIV. Theor.
Prop. XXVII. Theor. - Prop. XXXI. Theor.
Prop. XV. Theor. - Prop. XXVI. Theor.
Theor. XVIII
Theor. VII
Theor. XVI
Theor. XX
Theor. XIX
Theor. XVII
Theor. IV.
Theor. II.
Prop. I. Theor. - Prop. XXV. Theor.
Prop. I. Theor. - Prop. XIV. Theor.
Prop. XXVII. Theor. - Prop. XXXI. Theor.
Prop. XV. Theor. - Prop. XXVI. Theor.
Theor. XVIII
Theor. VII
Theor. XVI
Theor. XX
Theor. XIX
Theor. XVII
Theor. IV.
Theor. II.
Prop. I. Theor. - Prop. XXV. Theor.
Prop. I. Theor. - Prop. XIV. Theor.
Prop. XXVII. Theor. - Prop. XXXI. Theor.
Prop. XV. Theor. - Prop. XXVI. Theor.
Theor. XVIII
Theor. VII
Theor. XVI
Theor. XX
Theor. XIX
Theor. XVII
Theor. IV.