Akten
Baaz
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 -
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 5-4
- Umfang
-
142 Stücke (339 Bl.)
- Kontext
-
Georg Kreisel >> Salzburg-Teil >> Korrespondenz
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1991-1992
- Weitere Objektseiten
- Zugangsbeschränkungen
-
Für die Nutzung gesperrt bis null.
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1991-1992
Ähnliche Objekte (12)
Waldbrückenbau im Amt Finsterwalde
VEB Kombinat Schnittholz und Holzwaren Karl-Marx-Stadt, Sitz: Schlema
Strohhofer, Mathias
Rechtsstreit Reichenbach
Des Kammerherrn und Hof- undJustizienrats Carls Graf von Einsiedel Ernennung zum außerordentlichen Gesandten am Kurpfälzischen Hofe und die demselben erteilte Instruktion
Anmeldung und Erteilung von Wirtschaftspatenten, Bd. 13
Berufsfachschule für gehör- und sprachgeschädigte Lehrlinge Bayreuth (Taubstummenanstalt)
Gemeindevorstand Friedrich Richard Schuricht, geb. am 12. Juni 1877
Zeitungsartikel über Asylbewerber und Asylrecht
Verpachtung und Verkauf der Wiese "Ipsheimer See" zu Gnötzheim.
Köchertzwinger und Durchbruch an der Schlotfegergasse in Nürnberg. (Mit vielen Zeitungsartikeln des Fränkischen Kuriers)
Plöckl, Joseph
Waldbrückenbau im Amt Finsterwalde
VEB Kombinat Schnittholz und Holzwaren Karl-Marx-Stadt, Sitz: Schlema
Strohhofer, Mathias
Rechtsstreit Reichenbach
Des Kammerherrn und Hof- undJustizienrats Carls Graf von Einsiedel Ernennung zum außerordentlichen Gesandten am Kurpfälzischen Hofe und die demselben erteilte Instruktion
Anmeldung und Erteilung von Wirtschaftspatenten, Bd. 13
Berufsfachschule für gehör- und sprachgeschädigte Lehrlinge Bayreuth (Taubstummenanstalt)
Gemeindevorstand Friedrich Richard Schuricht, geb. am 12. Juni 1877
Zeitungsartikel über Asylbewerber und Asylrecht
Verpachtung und Verkauf der Wiese "Ipsheimer See" zu Gnötzheim.
Köchertzwinger und Durchbruch an der Schlotfegergasse in Nürnberg. (Mit vielen Zeitungsartikeln des Fränkischen Kuriers)
Plöckl, Joseph
Waldbrückenbau im Amt Finsterwalde
VEB Kombinat Schnittholz und Holzwaren Karl-Marx-Stadt, Sitz: Schlema
Strohhofer, Mathias
Rechtsstreit Reichenbach
Des Kammerherrn und Hof- undJustizienrats Carls Graf von Einsiedel Ernennung zum außerordentlichen Gesandten am Kurpfälzischen Hofe und die demselben erteilte Instruktion
Anmeldung und Erteilung von Wirtschaftspatenten, Bd. 13
Berufsfachschule für gehör- und sprachgeschädigte Lehrlinge Bayreuth (Taubstummenanstalt)
Gemeindevorstand Friedrich Richard Schuricht, geb. am 12. Juni 1877
Zeitungsartikel über Asylbewerber und Asylrecht
Verpachtung und Verkauf der Wiese "Ipsheimer See" zu Gnötzheim.
Köchertzwinger und Durchbruch an der Schlotfegergasse in Nürnberg. (Mit vielen Zeitungsartikeln des Fränkischen Kuriers)