Archives

Archive der Universität Konstanz
Philosophisches Archiv
Vor- und Nachlässe
PAKN, OB Oskar Becker
PAKN, RC Rudolf Carnap
PAKN, PF Paul Feyerabend
PAKN, GG Gerhard Gentzen
PAKN, HJ Hans Jonas
PAKN, WK Wilhelm Kamlah
PAKN, VK Viktor Kraft
PAKN, GK Georg Kreisel
Pittsburgh-Teil
Salzburg-Teil
Sonderdruck- und Schriftensammlung
Sonderdrucksammlung Schriften
Sonderdrucksammlung Rezensionen
GK 8-2-1 - The diagonal method in formalized arithmetic - 1953
Digitized images are blocked until: 31.12.2050



Full view Unit of Description GK 8-2-1
Reference number:	GK 8-2-1
Title:	The diagonal method in formalized arithmetic
Inclusive dates:	1953
Contents:	eine Kopie aus: British Journal for the Philosophy of Science 3 (1953). Die Rezension bezieht sich auf A. Mostowski, Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel, Amsterdam 1952
Scope:	11 Bl.
Order reference number:	PAKN, GK (Georg Kreisel), GK 8-2-1
 
GK 8-2-2 - Some uses of metamathematics - 1956
GK 8-2-3 - Wittgenstein's Remarks on the Foundations of Mathe - 1958
GK 8-2-4 - Wittgenstein's theory and practice of philosophy - 1960
GK 8-2-5 - Beweistheorie - 1962
GK 8-2-6 - The Collected Papers of Gerhard Gentzen - 1971
GK 8-2-7 - Eduard Wette, 'Definition eines (relativ vollständ - 1972
GK 8-2-8 - L. E. J. Brouwer Collected works, Volume I. Philos - 1977
GK 8-2-9 - Wittgenstein's lectures on the foundations of math - 1978
GK 8-2-10 - Wittgenstein's Remarks on the Foundations of Mathe - 1979
GK 8-2-11 - Comment on Zinoviev's paper - 1979
GK 8-2-12 - Gödel, Escher, Bach. An eternal golden braid - 1980
GK 8-2-13 - Brouwer's Cambridge lectures on intuitionism, ed. D - 1982
GK 8-2-14 - Saul A. Kripke: Wittgenstein on rules and private - 1983
GK 8-2-15 - M. C. Fitting: Fundamentals of generalized recursi - 1985
GK 8-2-16 - W. Stegmüller u. M. Varga von Kibed: Strukturtypen - 1985
GK 8-2-17 - Kurt Gödel, Collected Works, Volume I, Publication - 1988
GK 8-2-18 - Kurt Gödel, Collected Works, Volume II - 1990
GK 8-2-19 - Reviews Journal of Symbolic Logic - 1952-1991
GK 8-2-20 - Reviews The British Journal for the Philosophy of S - 1953-1960
GK 8-2-21 - Reviews Zentralblatt für Mathematik - 1960-1978
GK 8-2-22 - Reviews - verschiedene Zeitschriften - Kopien - 1962-1988
GK 8-2-23 - Reviews - verschiedene Zeitschriften - Kopiervorla - 1966-1992
GK 8-2-24 - Reviews Bulletin of the American Mathematical Soci - 1977-1985
Schriftensammlung
Korrespondenz mit Verena Huber-Dyson
Korrespondenz mit Albert Visser
Korrespondenz mit Brian McGuinness
PAKN, PL Paul Lorenzen
PAKN, HR Hans Reichenbach
PAKN, BT Bruno Thüring
Deposita
Sozialwissenschaftliches Archiv
Universitätsarchiv