-
Reminiscences about Hilbert's ε-calculus
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-38 -
General (negative) aspects of my writing
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-60 -
Comments on Hilbert's substitution method
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-42 -
Logische Grundl. & Wissenschaftstheorie
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-55 -
Refuting (strong) AI on its own terms
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-39 -
Memo to (1) Barwise, Schwichtenberg, Smorynski, Statman, Stavi, Troelstra and (2) Mints & Simpson
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-10 -
Metamathematical principles needed to establish closure properties of formal systems
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-6 -
Premature quantification: some reminders
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-17 -
Empirical facts about and around Wttgenstein's assumption of bewitchments
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-49 -
Memo on a question by Penrose
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-32 -
Milk sop and hard core foundations
[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99 -
Emprical evidence: using logical experience for learning about - certain aspects of - the commerce...
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-84 -
Preface: logical foundations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3 -
Luckhardt, Theor. Comput. Sci. 83 (1991)
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-4 -
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 -
A tacit assumption about mathematical traditions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-12 -
Structures r.c. dans des théories complètes
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-4 -
Dating manuscripts: an interim report
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-69