• Buchstabe B

    1970, 1984-2003, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-2

    ...Bailin, Sidney C. Bailey, John D., 1931 - 2011 Baker, Alan; Mathematiker, 1939 - 2018 Barendregt, Hendrik P.; Mathematiker, Informatiker, 1947 - Barwise, Jon; Mathematiker, 1942 -... ...... ...Beklemishev, Lev D....

  • Korrespondenz mit Albert Visser

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

    ...Juni 1991 mit einem Artikel über Karl R. Popper (GK 11-1-89) . D. van Dalen, Amsterdam 1982 für das Zentralblatt für Mathematik (GK 11-1-105) L'Ane.... ...Troelstra vom 4.11.1988 (GK 11-1-76) ·Kopie eines handschriftlichen Briefes an Hendrik Barendregt vom 15.3.1989 (GK 11-1-81) ·Kopie eines handschriftlichen Briefes an Gaisi Takeuti vom 24.5.1989 (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... ...... ...Beklemishev, Lev D....

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.