-
Bourbaki's Foundations: (re)viewed after some 5 decades
2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-107 -
Praise of C.A.R. Hoare
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-64 -
Memo suggested by recent results of M. Baaz
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-53 -
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 -
The greatest good for the greatest number
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-5 -
Opportunities for empirical evidence VI
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-74 -
Angemessene (Beschreibungen von) Kategorien: entsprechende Ansprüche
[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-36 -
The business of and with truth in mathematics
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-79 -
Comments on A K Dewdney in Computer Recreations,. Scientific American(Dec 89)
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-24 -
Preface: logical foundations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-5 -
Preface: achievements of mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-2 -
Troelstra/van Dalen,. Construcivism in mathematics. An introduction, 1988
[ca. 1989], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-1 -
Suitable data in the area around ε-derivations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-58 -
Comments on Mostowski's Lecture
[ca. 1965], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-1 -
Detlefsen, J. of Phil. Logic 19 (1990)
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-3 -
Elementary observations around traditions of small talk
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-102 -
Short thoughts and short memories around the topic: generalizing (terms in) proofs and theorems
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-71