-
Wittgenstein's Remarks on the Foundations of Mathematics
1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-10 -
Saul A. Kripke: Wittgenstein on rules and private language
1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-14 -
Reviews - verschiedene Zeitschriften - Kopien
1962-1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-22 -
Reviews. Bulletin of the American Mathematical Society
1977-1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-24 -
Wittgenstein's theory and practice of philosophy
1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-4 -
Kurt Gödel,. Collected Wo. rks, Volume II
1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-18 -
Some uses of metamathematics
1956, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-2 -
Gödel, Escher, Bach. An eternal golden braid
1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-12 -
The diagonal method in formalized arithmetic
1953, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-1 -
Wittgenstein's Remarks on the Foundations of Mathematics
1958, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-3 -
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 -
Reviews. Journal of Symbolic Logic
1952-1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-19 -
Reviews - verschiedene Zeitschriften - Kopiervorlagen
1966-1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-23 -
The Collected Papers of Gerhard Gentzen
1971, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-6 -
Comment on Zinoviev's paper
1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-11 -
Wittgenstein's lectures on the foundations of mathematics, Cambridge, 1939, ed, Cora Diamond, New...
1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-9 -
Kurt Gödel,. Collected Works, Volume I, Publications 1929- 1936
1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-17 -
M. C. Fitting: Fundamentals of generalized recursion theory
1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-2-15 -
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