-
Brouwer's Cambridge lectures on intuitionism, ed. D. van Dalen
1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-13 -
Eduard Wette, "Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik"...
1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-7 -
Some uses of metamathematics
1956, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-2 -
Reviews. Bulletin of the American Mathematical Society
1977-1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-24 -
W. Stegmüller u. M. Varga von Kibed: Strukturtypen der Logik
1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-16 -
Wittgenstein's theory and practice of philosophy
1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-4 -
Comment on Zinoviev's paper
1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-11 -
Reviews - verschiedene Zeitschriften - Kopien
1962-1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-22 -
M. C. Fitting: Fundamentals of generalized recursion theory
1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-15 -
Reviews - verschiedene Zeitschriften - Kopiervorlagen
1966-1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-23 -
Reviews. Zentralblatt für Mathematik
1960-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-21 -
Wittgenstein's Remarks on the Foundations of Mathematics
1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-10 -
Kurt Gödel,. Collected Wo. rks, Volume II
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-18 -
Saul A. Kripke: Wittgenstein on rules and private language
1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-14 -
Kurt Gödel,. Collected Works, Volume I, Publications 1929- 1936
1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-17 -
Reviews. The British Journal for the Philosophy of Science
1953-1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-20 -
The Collected Papers of Gerhard Gentzen
1971, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-6 -
The diagonal method in formalized arithmetic
1953, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-1 -
L. E. J. Brouwer. Collected works, Volume I. Philosophy and foundations of mathematics
1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-8