-
Cut-free proofs: a (still) neglected aspect
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86 -
Pour-El, Marian B./Richards J. Ian,. Computability in Analysis and Physics, 1989
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-2 -
Proof theory and the tradition of dubious doubts
1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-16 -
On the film. Wittgenstein
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-65 -
On speed up and some other (cl)aims of similar flavour
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-59 -
A short thought and 2 conflicting interpretations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-89 -
(Primitive) Recursiveness and the dictum: le côté les moins intéressant
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-61 -
Preface: To be used in the introductions of various chapters and sections
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-5 -
Interim note: fnding topics for a subject of proofs
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-77 -
Preliminary Notes to "Second thoughts around some of Gödels's writings", Teilstücke
1994-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-13 -
A practical perspective on a pious precept
1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-67 -
6. A comment and a disclaimer
1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15 -
Afterthoughts on Odifreddi's editing
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-28 -
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik
2003, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-20 -
Memo on a question by Penrose
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-32 -
Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational...
2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-111 -
Truth and half-truths in (Stewart's flashy piece on) "Dynamics deciding the undecidable"
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-40 -
Around - not only - Wittgenstein's literary ambitions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-103