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:
- Reference number
-
PAKN, GK Georg Kreisel, GK 4-1-106
- Extent
-
59 Bl.
- Context
-
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
2004
- 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
- 2004
Other Objects (12)
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
TO Ψ.
ToPS
Briefwechsel B-W
Presswerk Erzeugnisse BW
Bedarfsanforderungen BW/Einrichtung
Personendepotbuch (B-W)
ABB, BW, Rohfedern
Bw Eilenburg; Lufterhitzer
Presswerk Erzeugnisse BW
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
TO Ψ.
ToPS
Briefwechsel B-W
Presswerk Erzeugnisse BW
Bedarfsanforderungen BW/Einrichtung
Personendepotbuch (B-W)
ABB, BW, Rohfedern
Bw Eilenburg; Lufterhitzer
Presswerk Erzeugnisse BW
Modernisierungsvorhaben PS Bw
Dienststellenorganisation; Umwandlung der Bw'e in Triebfahrzeuge. Einsatzstellen: Bw Zeitz, Bw Merseburg, Bw Bitterfeld, Bw Eilenburg
Rechenprogramm zur Prognose des BW, Rentabilitätsmodell der PS 1 und 2
TO Ψ.
ToPS
Briefwechsel B-W
Presswerk Erzeugnisse BW
Bedarfsanforderungen BW/Einrichtung
Personendepotbuch (B-W)
ABB, BW, Rohfedern
Bw Eilenburg; Lufterhitzer