-
Socalled self-referential paradoxes
1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14 -
Memo (to myself) after reading Buchberger: History and basic features of the...
[ca. 1987], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-6 -
Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-57 -
Some lessons from Odifreddi's editing
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-27 -
Memo suggested by recent results of M. Baaz
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-53 -
A couple of neglected distinctions
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-87 -
Church's Thesis: a jeu d'esprit?
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-20 -
More about approximating continuous functions
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-35 -
On the film. Wittgenstein
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-65 -
The cardinal sin of senility: putting everything in a NUTSHELL
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-19 -
Von den Grundlagen zur Technologie
1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13 -
Angemessene (Beschreibungen von) Kategorien: entsprechende Ansprüche
[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-36 -
Erläuterungen und Vermutungen betr. das Schließen
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-54 -
A relation between 2 declarations of A. Weil
2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-108 -
Preface: logical foundations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3 -
The traditional preoccupation of logic: truth (validity)
[ca. 2005], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-109