• Personenseite

    Anne S. Troelstra

    Mathematiker
    Geboren: Maartensdijk bei Utrecht - Gestorben: Blaricum
    Anne S. Troelstra

  • Kreisel/Troelstra 1968

    1960-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-17

    ...Brief vom 20.9.1967 von A.S. Troelstra. GK 1-17-4 enthält einen hs. undatierten Brief von Troelstra und den Durchschlag des Druckmanuskriptes von Kreisels... ...Typoskript von Troelstra. GK 1-17-12 bis -16 sind Durchschläge hs.... ...Briefes vom 20.2.1968 an Troelstra sowie einen masch. Brief vom 28.2.1968 von Troelstra.... ...Macintyre, Angus Myhill, John Scedrov, Andrej, 1955 - Scott, Dana S. Tait, William W. 1929 - Troelstra, Anne S.; 1939 - Vesley,... ...... ...Troelstra, Anne S....

  • Formal systems for some branches of intuitionistic analysis

    1970, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-77

    ...Enthält: ein Zeitschriftenheft der Annals of mathematical logic 1 Nr. 3 (1970) mit dem zusammen mit A.S. Troelstra veröffentlichten Artikel "Formal systems for some branches of... ...... ...Troelstra, Anne S....

  • Buchstaben T-U

    1984-1994, (2004), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-62

    ....; Philosoph, 1929- Tanaka, Kazuyuki Taussky, Olga; Mathematikerin, 1906-1995 Temple, George Frederick James; Mathematiker, Physiker, 1901-1992 Terjanian, Guy Troelstra,... ...... ...Troelstra, Anne S....

  • Verlagsverträge zu "Kolloidchemisches Taschenbuch", Bd. 2

    1931 - 1935, 1941, 1956 - 1957, Sächsisches Staatsarchiv, 21091 Akademische Verlagsgesellschaft Geest & Portig KG, Leipzig, Nr. 388 (Zu benutzen im Staatsarchiv Leipzig)

    ....- Staudinger, Hermann.- Troelstra, Anne S.- Weitbrecht, G.- Zahn, H.- Zocher, Hans (Verlagsverträge Nummer 7/1/1 bis 7/1/21)....

  • Kreisel letters

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

    ...Freundlich (1981), die zweite (mit Eingangsstempel vom 7.4.1982) auf den Beitrag von Anne Troelstra in Studia Logica 40 (1981). GK 1-12-5 enthält die Kopie eines... ...Craig, William, 1918 - Crick, Francis, 1916 - 2004 Delzell, Charles N. 1953- Friedman, Harvey, 1948 - Macintyre, Angus Maddy, Penelope Scott, Dana S. (Stewart) Takeuti, Gaisi, 1926 -...

  • Korrespondenz mit Albert Visser

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

    ...Final correction" Kopie eines handschriftlichen Blattes mit Corrigenda (GK 11-1-44) ·Kopie eines handschriftlhen Briefes an Francesco del Franco vom 2.5.1986 (GK 11-1-45) ·"Afterthought",... ...Takeuti, Gaisi; Mathematiker, 1926 - 2017 Pudlák, Pavel; Mathematiker, 1952 - Troelstra, Anne S.; 1939 - Weingartner, Paul; Philosoph,...

  • Kreisel letters

    1969-1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-3

    ...Briefes vom 5.7.1970 von A. S. Troelstra an Dana Scott, GK 1-3-38 die Kopie eines masch. Briefes vom 19.8.1970 von Kreisel an Troelstra. Bei GK... ...(Hartley), 1926 - Scott, Dana S. (Dana Stewart) Shockley, William, 1910 - 1989 Serre, Jean-Pierre, 1926 - Straus, Ernst Gabor, 1922 - Suppes, Patrick, 1922 - Takeuti, Gaisi, 1926 -...

  • Manuskripte

    [ca. 1972], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-5

    ...Es enthält einen Anhang mit der Auflistung von Ergänzungen, die Kreisel aufgrund der Publikation Metamathematical investigation of intuitionistic arithmetic and analysis (1973) von...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.