• van den Dries

    1984-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-21

    ...Enthält: Korrespondenz mit Lou van den Dries aus dem Zeitraum vom 31.8.1984 bis 8.1.1996 Dries,... ...... ...Für die Nutzung gesperrt bis 31.12.2050....

  • Modelltheorie :

    1984, Universitätsarchiv Freiburg, E 0020 / 1058

    ...... ...Enthält: Lou Van den Dries, Stanford; Ulrich Felgner, Tübingen; Alexander Prestel, Konstanz...

  • Modelltheorie :

    1990, Universitätsarchiv Freiburg, E 0020 / 1390

    ...... ...Enthält: Lou van den Dries, Urbana; Alexander Prestel, Konstanz; Peter Roquette, Heidelberg...

  • Delzell

    (1990), 1992-1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-18

    ...Enthält: Korrespondenz mit Charles Delzell aus dem Zeitraum vom 1.1.1992 bis 7.10.1994 Delzell, Charles N.; Mathematiker, 1953 - Darin: Anlagen und Rückseiten: ··Kopie eines masch.... ...Briefes von Alex Nabutovsky an Kreisel vom 9.7.1992 (GK 5-18-67 verso) ·Kopien verschiedener Versionen eines zunächst in der Autorschaft von Delzell, Gonzales-Vega und Lombardi,... ...Briefes von Magnus Macintyre an Kreisel vom 30.10.1992 (GK 5-18-100) ·Kopien von zwei Versionen des Delzell-Artikels "Kreisel's Unwindung of Artin's Proof" (GK 5-18-106 und -148)... ...... ...Für die Nutzung gesperrt bis 31.12.2050.... ...... ...Dries, Lou van den...

  • Kreisel letters

    1981-1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-12

    ...Manuskript einer Rezension von Brouwer's Cambridge lectures on intuitionism, ed. D. van Dalen, Cambridge 1981. GK 1-12-4 enthält Kopien von zwei Druckmanuskripten zu Rezensionen... ...GK 1-12-5 enthält die Kopie eines Typoskriptes mit dem Titel "Some Applications of a Model Theoretic Fact To (Semi-) Algebraic Geometry" von Lou... ...GK 1-12-6 enthält die Kopie eines Forschungsantrags an den NSF von Penolope Maddy mit Datum vom 2.2.1982, eine hs. ergänzte Seite aus dem Manuskript... ...(Stewart) Takeuti, Gaisi, 1926 - Troelstra, A. S. (Anne Sjerb) Van den Dries, Lou....

  • Kreisel letters

    1981-1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-13

    ...F. van der Hoevens Projections of lawless sequences für das Zentralblatt für Mathematik mit Eingangsstempel vom 28.3.1983.... ...Briefes an Lou van den Dries vom 15.3.1983. GK 1-13-10 enthält die Kopie eines hs.... ...Briefes an G. van der Hoeven vom selben Datum. GK 1-13-49 ist die Kopie einer masch.... ...Manuskriptes mit dem Titel "On Gramov's theorem - by van den Dries and Wilkie".... ...(Karl Raimund), 1902 - 1994 Schmetterer, Leopold, 1919 - Scedrov, Andrej, 1955 - Scott, Irene Schreier Solovay, Robert M. Taussky, Olga Van den...

  • Empfehlungsschreiben

    (1967), 1984-1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-74

    ...Ansprechpartnern über Personen, für die Kreisel eine Empfehlung abgab oder ein Gutachten erstellte.... ...Chihara, Charles S.; Hochschullehrer Cohn, Paul M.; Mathematiker, Hochschullehrer, 1924-2006 Delzell, Charles N.; Mathematiker, 1953- Denef, Jan; Mathematiker, 1951- Dorey Alan J. Dorroh, James R.... ...... ...Für die Nutzung gesperrt bis 31.12.2050....

  • Korrespondenz mit Albert Visser

    1981-1994 (1997), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 11-1

    ...Enthält: Korrespondenz mit Albert Visser aus dem Zeitraum 4.4.1981 bis 16.11.1994 Visser, Albert Darin: Anlagen zu den Briefen, wobei die Anlagen GK... ...Popper (GK 11-1-89) . D. van Dalen, Amsterdam 1982 für das Zentralblatt für Mathematik (GK 11-1-105) L'Ane. Le magazine freudien 22 (1985) (GK 11-1-117) 6.2.1986 (GK... ...Doing sums formally", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11) ·Jean-Yves Girard, "Le rasoir de Kreisel", Kopie eines Artikels aus ·Kopie eines handschriftlichen Briefes an Angus... ...... ...Dries, Lou van den...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.