-
Postscript to Baaz-Wojtylak
2001-2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-105 -
Abstractions related to mental processes
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-18 -
Praise of C.A.R. Hoare
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-64 -
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 -
Aberglauben und Erfahrung betr. die Anwendung von Modell- und Beweistheorie
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-31 -
Elementary observations around traditions of small talk
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-102 -
Erläuterungen und Vermutungen betr. das Schließen
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-54 -
Brief review of loose ends in my teen age recollections
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-10 -
Pour-El, Marian B./Richards J. Ian,. Computability in Analysis and Physics, 1989
1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-2 -
Quotations and other references
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-17 -
Notes on the Nobel Prize Lectures by Wigner and Feynman
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-95 -
Analogies in contemporary mathematics
[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-37 -
Set-theoretic foundations and Hilbert's program: Restating a conflict
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-3 -
About and around Turing's test
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-46 -
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 -
Von den Grundlagen zur Technologie
1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13 -
Commerce of ideas: an example
[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-62