-
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 -
Preface für ein Buchprojekt mit übersetzten Artikeln aus den später 1970ern bis 1980er Jahren
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-7 -
Memo after a couple of lectures by Bellin, on Girard's (paper LL). Linear Logicand on Ketonen's...
1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-18 -
On M. Baaz & R. Zach, Short proofs of tautologies using the schema of equivalence (1994)
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-78 -
An Item of Contemporary. Volksempfinden
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-66 -
A practical perspective on a pious precept
1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-67 -
Empirical evidence: curiosities
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-85 -
A short thought and 2 conflicting interpretations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-89 -
Logical Aspects of Hilbert's 17th problem
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-45 -
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 -
Cut-free proofs: a (still) neglected aspect
1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86 -
A tacit assumption about mathematical traditions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-12 -
Interim reflections on the project
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-8 -
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 -
Church's Thesis: a jeu d'esprit?
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-20 -
Rekursiv und algorithmisch
[ca. 1986], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-15 -
A reminder of empircal facts balancing any dangers of (Wittgenstein's) bewitchments
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-50 -
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 -
Memo on - what is sometimes called - A Broader View, here applied to Proofs in Mathematics
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-48