• Korrespondenz mit Verena Huber-Dyson

    Archive der Universität Konstanz

    ...... ...Verena Huber-Dyson (6. Mai 1923, Neapel - 12. März 2016 Bellingham, Washington) war eine Schweizer Mathematikerin.... ...Neben ihrer Tochter aus erster Ehe hatte Verena mit Freeman Dyson noch einen Sohn und eine Tochter.... ...Kreisel ermutigte Verena Huber-Dyson, ihre Mathematikerkarriere wieder aufzunehmen.... ...Die Korrespondenz wurde von Verena Huber-Dyson, bzw. ihrem Sohn George Dyson, im April 2015 dem Archiv übersandt.... ...Das Material ist in eine genaue chronologische Ordnung gebracht worden, die Korrespondenz Kreisels mit Dritten an das Ende eingeordnet. Verena Huber-Dyson, zwei...

  • Korrespondenz mit Verena Huber-Dyson

    1957-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 10-1

    ...Georg Kreisel >> Korrespondenz mit Verena Huber-Dyson... ...Enthält: Briefe von Kreisel an Verena Huber-Dyson, einige wenige Briefe Huber-Dysons sowie Korrespondenz Kreisels mit Dritten nebst Anlagen. Bei den Stücken GK... ...... ...Huber-Dyson, Verena...

  • Huber-Dyson, Verena, "A work on Gödel's Theorems", Bd. 122 in der...

    1981 - 1991, Sächsisches Staatsarchiv, 22198 B. G. Teubner Verlag, Leipzig, Nr. 1415 (Zu benutzen im Staatsarchiv Leipzig)

  • Analysis of Beth's semantic construction of intuitionistic logic

    1961, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-45

    ...Enthält: eine Kopie des zusammen mit Verena Huber Dyson publizierten Artikels "Analysis of Beth's semantic construction of intuitionistic logic" aus Technical Report 3 (27.1.1961)... ...... ...Huber-Dyson, Verena...

  • Buchstabe D

    1970, 1983-2007, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-15

    ....; Physiker, Mathematiker, Hochschullehrer, 1923 - Darin: auch Korrespondenz mit Verena Huber-Dyson sowie Anlagen und Rückseiten: ··masch.... ...Brief von Francesco del Franco vom 1.9.1988 (GK 5-15-50 verso) ·Email von Robert Gasser vom 13.1.1997 (GK 5-15-103 verso) ·Email von Pjotr Wojtylak vom 28.5.1998 (GK 5-15-109 verso) ·Email vom... ...... ...Huber-Dyson, Verena...

  • Georg Kreisel (Bestand)

    1944-2013, Archive der Universität Konstanz, PAKN, GK

    ...Dazu kommen Ergänzungen von Verena Huber-Dyson (Box 10), Brian McGuinness und Albert Visser.... ...Dazu kommen Ergänzungen von Verena Huber-Dyson (Box 10), Brian McGuinness und Albert Visser....

Your search has not returned any results.