Tektonik

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
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 8-2-1
Signatur:	GK 8-2-1
Titel:	The diagonal method in formalized arithmetic
Laufzeit:	1953
Enthält:	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
Umfang:	11 Bl.
Bestellsignatur:	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