-
Republishing (my) articles and/or essays
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-34 -
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 -
Memo on (glimpses of) a broader view
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11 -
Logische Grundl. & Wissenschaftstheorie
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-55 -
Milk sop and hard core foundations
[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99 -
Modal language of provability logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7 -
The business of and with truth in mathematics
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-79 -
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 -
Preface: logical foundations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-5 -
Set-theoretic foundations and Hilbert's program: Restating a conflict
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-3 -
Suitable kinds and degreees of precision I
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-25 -
Odifreddi's editing and the American Dream
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-29 -
Memo on a question by Penrose
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-32 -
Background: teen age emotions recollected in prosaic tranquillity
1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-14 -
Luckhardt, Theor. Comput. Sci. 83 (1991)
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-4 -
Background: Review with a twist
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-2 -
Opportunities for empirical evidence VI
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-74 -
Explicit mathematics and explicit metamathematics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-7