-
Memo on (glimpses of) a broader view
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11 -
Explicit mathematics and explicit metamathematics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-7 -
Modal language of provability logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7 -
Around - not only - Wittgenstein's literary ambitions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-103 -
Preface: mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4 -
Background: teen age emotions recollected in prosaic tranquillity
1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-14 -
Sums of squares: (nearly) 40 years after Cornell
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-70 -
Von den Grundlagen zur Technologie
1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13 -
Cut-free proofs: a (still) neglected aspect
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86