Akten
PS to [BW]
Enthält: eine Version (Computerausdruck) vom 26.6.2004 des als Nr. 193 der Salzburger Schriftensammlung abgedruckten Textes, einige Seiten aus einer früheren Version mit handschriftlichen Korrekuren sowie Kopien der Artikel Arithmetic, proof theory, and computational complexity, hg. v. Peter Cote u. Jan Krajícek, Oxford 1993 Arithmetic, proof theory, and computational complexity, hg. v. Peter Cote u. Jan Krajícek, Oxford 1993
··Matthias Baaz und Pavel Pudlák, "Kreisel's conjecture for L∃1 (including a Postscript by Georg Kreisel)", aus:
·Matthias Baaz, "Note on the Existence of Most General Semi-Unifiers", aus:
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 4-1-106
- Umfang
-
59 Bl.
- Kontext
-
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
2004
- 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
- 2004
Ähnliche Objekte (12)
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
TO Ψ.
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
ToPS
Briefwechsel B-W
Bw Eilenburg; Lufterhitzer
Bw Merseburg; Tischbohrmaschine
Briefwechsel B-W
Bw Eilenburg; Lokschuppenanbau
Bw Altenburg; Lokschuppendach
Ps - Rn
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
TO Ψ.
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
ToPS
Briefwechsel B-W
Bw Eilenburg; Lufterhitzer
Bw Merseburg; Tischbohrmaschine
Briefwechsel B-W
Bw Eilenburg; Lokschuppenanbau
Bw Altenburg; Lokschuppendach
Ps - Rn
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
TO Ψ.
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
ToPS
Briefwechsel B-W
Bw Eilenburg; Lufterhitzer
Bw Merseburg; Tischbohrmaschine
Briefwechsel B-W
Bw Eilenburg; Lokschuppenanbau
Bw Altenburg; Lokschuppendach