Record

PAKN, GK Georg Kreisel, GK 4-1-106

PAKN, GK Georg Kreisel

Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda

2004

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:

59 Bl.

Sachakte

Object in the 'Deutsche Digitale Bibliothek'

10.06.2025, 11:28 AM CEST