Archive der Universität Konstanz

Sie sind nicht angemeldet.

Tektonik

  • Die Tektonik ist auf Ihren Suchtreffer eingeschränkt, Sie können über das "+" den normalen Archivbaum einblenden.
    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
    Kreisel letters
    Manuscripts
    GK 2-1 - Manuskripte - 1957-[ca. 1968]
    GK 2-2 - Manuskripte - [ca. 1968]-[nicht nach 1978]
    GK 2-3 - Manuskripte - 1969-1971
    GK 2-4 - Manuskripte - 1968-1972
    GK 2-5 - Manuskripte - [ca. 1972]
    GK 2-6 - Manuskripte - [ca. 1973]
    GK 2-7 - Manuskripte - 1973-1978
    GK 2-8 - Manuskripte - [ca. 1978]-[ca. 1985]
    GK 2-9 - Manuskripte - [ca. 1981]-1995
    GK 2-10 - Kreisel - Krivine - 1962-[ca. 1973]
    GK 2-11 - Mostly on Gödel - [ca. 1979]
    Digitalisierte Bilder gesperrt bis: 31.12.2050

    Vollansicht Verzeichnungseinheit GK 2-11

    Signatur: GK 2-11
    Titel: Mostly on Gödel
    Laufzeit: [ca. 1979]
    Enthält: Vorfassungen des 1980 publizierten Artikels über Kurt Gödel, zugehöriges Material und zwei Sonderdrucke von Dov Gabbay. GK 2-11-1 ist ein hs. Blatt mit Mitteilung an die Sekretärin von der Hand von Dana Scott. GK 2-11-2 ist eine hs. Vorfassung des Gödel-Artikels, GK 2-11-3 eine hektographierte Kopie einer weiteren hs. Fassung, später verfaßt als die vorgenannte. GK 2-11-8 ist die Kopie einer hs. korrigierten masch. Fassung, die nahe an der Druckfassung ist. Bei GK 2-11-4 handelt es sich um eine Kopie des Nachrufs von Hao Wang auf Gödel aus dem Mathematical Intelligencer 1 (1978). GK 2-11-5 ist ein Sonderdruck eines Artikels von Dov Gabbay mit dem Titel "On Kreisel's notion of validity in Post Systems" aus den Studia logica 35 (1976). Eingelegt ist eine Kopie des Rezension dieses Artikels durch Kreisel. GK 2-11-6 ist ein Sonderdruck eines Artikels von Dov Gabbay mit dem Titel "On some new intuitionistic propositional connectives. I" aus den Studia logica 36 (1977). Bei GK 2-11-7 handelt es sich um eine (teilweise oben abgeschnittene) Kopie eines Typoskriptes von I. Grattan-Guinness. Bei dem Text handelt es sich um eine Vorfassung des Artikels "In memoriam Kurt Gödel. His correspondence with Zermelo on his incompletability theorem", das in Histora mathematica 6 (1979) veröffentlicht wurde.

    Gabbay, Dov M., 1945 -
    Scott, Dana S.
    Wang, Hao, 1921 -
    Mathematical Intelligencer (Berlin, Deutschland: 1978)
    Studia logica (Warschau, Polen : 1953)
    Umfang: 7 Stücke (179 Bl.) und 2 Sonderdrucke.
    Bemerkung: GK 2-11-2 ist auf der Rückseite bereits benutzten Papiers geschrieben (u.a. Institutsrundschreiben, Corrigendalisten)
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 2-11
    GK 2-12 - Fragmente und Verschiedenes - 1938-1989
    GK 2-13 - Proofs and Provability - 1978
    GK 2-14 - Wittgenstein O.U.P - 1979-1980
    GK 2-15 - The Collected papers of Gerhard Gentzen - [ca. 1972]
    GK 2-16 - MSS of Kreisel Reviews - 1952-1990
    GK 2-17 - Reviews from the Zentralblatt - 1978
    GK 2-18 - Kreisel Bibliographie - 1985-1991
    GK 2-19 - Bibliography Corrections - 1982-1990
    GK 2-20 - Bibliography, Old - 1962-1985
    Lecture Notes
    Salzburg-Teil
    Sonderdruck- und 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