-
Quotations and other references
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-17 -
A tacit assumption about mathematical traditions
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-12 -
Meta-mathematics and meta-physics
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-21 -
Some additional problems (for the same general purpose as Friedman's list [JSL 40 (1975) 114-126].
1976, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-11 -
The business of and with truth in mathematics
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-79 -
Preface: logical foundations
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3 -
Note X on empircial evidence: cross purposes
1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-76 -
On the idea(l) of logical closure
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-26 -
(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 -
Foundational and scientific argument: a contrast
1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-52 -
Preface: mathematical logic
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4 -
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik
2001-2002, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-104 -
A consumer's (re)view around higher infinities
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-97 -
Reminiscences about Hilbert's ε-calculus
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-38 -
Logische Grundl. & Wissenschaftstheorie
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-55 -
Opportunities for empirical evidence VI
o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-74 -
6. A comment and a disclaimer
1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15 -
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