-
Analogies in contemporary mathematics
[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-37 -
Memo after a couple of lectures by Bellin, on Girard's (paper LL). Linear Logicand on Ketonen's...
1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-18 -
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 -
Some Problems (a little off the beaten track)
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-43 -
Besprechung J. Hintikka
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-5 -
Socalled self-referential paradoxes
1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14 -
Foundational and scientific argument: a contrast
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-52 -
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 -
An Imagined Conversation with Crick
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-68 -
Formal precision: after 25 years
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-81 -
Another trick(y) question: Which way does ⇔ point?
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-44 -
A (by me) so far neglected question: the statistical distribution of malaise
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-73 -
(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 -
Memo on a longshot: linear wordequations in semigroups
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-30 -
Rekursiv und algorithmisch
[ca. 1986], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-15 -
Background: Review with a twist
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-2 -
Appendix: ω-consistency and related topics
[ca. 1971], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-2 -
Exercise(s) concerning Hilbert's idea (=Ansatz) for his ε-substitution method applied to predicate...
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-80