Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 5-4 |
| Baaz |
| 1991-1992 |
Korrespondenz mit Matthias Baaz aus dem Zeitraum vom 9.1.1991 bis 30.12.1992.
Baaz, Matthias; Mathematiker, Hochschullehrer, 1960 |
-200Anlagen und Rckseiten:zwei Versionen eines handschriftlichen Manuskriptes mit dem Titel "Postscript. A broader view" (GK 5-4-55 und -56) und eine masch. Abschrift der zweiten Version (GK 5-4-63 verso). Die maschinenschriftliche Version ist nahe an der Druckfassung des Artikels "A broader, not only professional view. Postcript" aus: Arithmetic, proof theory and computational complexity, hg. v. P. Clote u. J. Krajicek, Oxford 1993 (Oxford Logic Guides 23). Dieses Postscript bezieht sich auf einen Artikel von Matthias Baaz und Pavel Pudlk aus dem Jahre 1984, der 1993 zusammen mit Kreisels Postscript wiederabgedruckt wurde.
ein handschriftliches Manuskript "Relations between unification and semi-unification problems (GK 5-4-75)
ein Typoskpt von M. Baaz "Algrothmic structuring of cut-free proofs (GK 5-4-127 verso)
ein maschinenschriftlicher Brief von H.-D. Ebbinghaus vom 23.10.1992 (GK 5-4-137 verso)
Ebbinghaus, Heinz-Dieter; Mathematiker, 1939 -
|
| 142 Stücke (339 Bl.) |
| PAKN, GK (Georg Kreisel), GK 5-4 |
