-
(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 -
An Item of Contemporary. Volksempfinden
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-66 -
Milk sop and hard core foundations
[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99 -
Truth and half-truths in (Stewart's flashy piece on) "Dynamics deciding the undecidable"
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-40 -
On a non-academic option for using one's logical education
1994-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-83 -
An Imagined Conversation with Crick
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-68 -
Structures r.c. dans des théories complètes
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-4 -
Elementary observations around traditions of small talk
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-102 -
Logical Aspects of Hilbert's 17th problem
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-45 -
Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational...
2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-111 -
Reminders around implicit definitions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-41 -
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 -
Memo: A retrogressive tendency in the study of abstract logics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-8 -
Logical hygiene, foundations and abstractions: Diversity among aspects and options
2006-2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-110 -
More about approximating continuous functions
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-35 -
Opportunities for empirical evidence VI
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-74 -
Preface: mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4 -
Modal language of provability logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7 -
On the film. Wittgenstein
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-65 -
Memo on a longshot: linear wordequations in semigroups
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-30