-
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 -
Erläuterungen und Vermutungen betr. das Schließen
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-33 -
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 few (immediate) reactions to reading Some strangeness in the proportion
[ca. 1980], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-1 -
6. A comment and a disclaimer
1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15 -
Abstractions related to mental processes
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-18 -
Notes on a neglected alternative to benevolent neglect: with special reference to the tradition(s)...
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-72 -
Logical Aspects of Hilbert's 17th problem
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-45 -
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik
2001-2002, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-104 -
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 -
Erläuterungen und Vermutungen betr. das Schließen
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-54 -
Van Heijenoort's taste for (tacitly, suitable) attention to (suitable) vagaries
2011, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-113 -
Odifreddi's editing and the American Dream
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-29 -
Anmerkungen zu. What Mad Pursuitvon Francis Crick
1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-22 -
A relation between 2 declarations of A. Weil
2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-108 -
Mathematical logic: background
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-6 -
Interim note: fnding topics for a subject of proofs
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-77 -
Personal hygiene, public sanitation and fertility
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-93 -
Interim reflections on the project
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-8 -
Republishing (my) articles and/or essays
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-34 -
Memo on (glimpses of) a broader view
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11 -
Explicit mathematics and explicit metamathematics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-7 -
Modal language of provability logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7 -
Around - not only - Wittgenstein's literary ambitions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-103 -
Preface: mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4 -
Background: teen age emotions recollected in prosaic tranquillity
1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-14 -
Sums of squares: (nearly) 40 years after Cornell
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-70 -
Von den Grundlagen zur Technologie
1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13 -
Cut-free proofs: a (still) neglected aspect
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86