-
Memo on (glimpses of) a broader view
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11 -
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 -
Interim note: fnding topics for a subject of proofs
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-77 -
Suitable data in the area around ε-derivations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-58 -
Analogies in contemporary mathematics
[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-37 -
Socalled self-referential paradoxes
1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14 -
Austins's unflinching convictions or Stuart Hamphire's blind admiration for lack of second thoughts
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-101 -
Memo on a longshot: linear wordequations in semigroups
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-30 -
Buchprojekt, Stichworte: Diversity, Knowledge
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-10 -
Rekursiv und algorithmisch
[ca. 1986], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-15 -
Formal precision: after 25 years
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-81 -
A (re)view on Gödel's emphasis on higher types
[ca. 1999], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-100 -
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 -
Elementary observations around traditions of small talk
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-102 -
Note X on empircial evidence: cross purposes
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-76 -
Cut-free proofs: a (still) neglected aspect
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86 -
Notes for a preface to Occasional Essays
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-9 -
A couple of neglected distinctions
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-87