-
Refuting (strong) AI on its own terms
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-39 -
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: mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4 -
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 -
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 -
The traditional preoccupation of logic: truth (validity)
[ca. 2005], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-109 -
Memo on (glimpses of) a broader view
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-11 -
Realizing limitations of one's resources: a potential for relief from malaise
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-88 -
A Neglected Aspect Of the Formalization Of Informal Mathematics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-9 -
Memo (to myself) after reading Buchberger: History and basic features of the...
[ca. 1987], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-6 -
Buchprojekt, Stichworte: Diversity, Knowledge
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-10 -
Erläuterungen und Vermutungen betr. das Schließen
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-54 -
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 -
Reviews. Zentralblatt für Mathematik
1968-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-6 -
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 -
The greatest good for the greatest number
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-5 -
Socalled self-referential paradoxes
1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14 -
(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 -
Another trick(y) question: Which way does ⇔ point?
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-44