Baaz

Akten

Enthält: Korrespondenz mit Matthias Baaz aus dem Zeitraum vom 9.1.1991 bis 30.12.1992.

Baaz, Matthias; Mathematiker, Hochschullehrer, 1960

Darin: ··Anlagen und Rückseiten: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: Arit hmetic, proof theory and computational complexity, hg. v. P. Clote u. J. Krajicek, Oxford 1993 (Oxfo rd Logic Guides 23). Dieses Postscript bezieht sich auf einen Artikel von Matthias Baaz und Pavel Pudlák 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 -

Object Details

• Reference number: PAKN, GK Georg Kreisel, GK 5-4
• Extent: 142 Stücke (339 Bl.)

References and Relationships

• Context: Georg Kreisel >> Salzburg-Teil >> Korrespondenz
• Holding: PAKN, GK Georg Kreisel

Classification and Topics

• Indexentry person: Ebbinghaus, Heinz-Dieter

Contributors, Places and Time

• Date of creation: 1991-1992

Further information

• Other object pages: Show object in "Archivportal-D"
• Zugangsbeschränkungen: Für die Nutzung gesperrt bis null.
• Last update: 10.06.2025, 11:28 AM CEST