-
A Neglected Aspect Of the Formalization Of Informal Mathematics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-9 -
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 -
Reviews. Zentralblatt für Mathematik
1968-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-6 -
Notes for a preface to Occasional Essays
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-9 -
Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational...
2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-111 -
Quotations and other references
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-17 -
Reminders around implicit definitions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-41 -
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 -
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 -
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 -
Publikationsanzeige: Logical aspects of computation
1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-23 -
On the idea(l) of logical closure
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-26 -
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 -
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 -
Meta-mathematics and meta-physics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-21 -
Church's Thesis: a jeu d'esprit?
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-20 -
A consumer's (re)view around higher infinities
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-97 -
Memo on Suitable Descriptions of, that is, notations for, Suitable Real Numbers in computation,...
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-47