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
- Reference number
-
PAKN, GK Georg Kreisel, GK 4-4-4
- Extent
-
1 Bl.
- Context
-
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Rezensionen
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1991
- 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
- 1991
Other Objects (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.