• Buchstabe B

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

    ...Bailey, John D., 1931 - 2011 Baker, Alan; Mathematiker, 1939 - 2018 Barendregt, Hendrik P.; Mathematiker, Informatiker, 1947 - Barwise, Jon;... ...... ...Barendregt, Hendrik P.... ...... ...Burgess, John P....

  • Kreisel letters

    1987-1990 , Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-16

    ...Briefes vom 15.3.1989 an H. Barendregt, GK 1-16-8 die Kopie eines hs. Briefes vom 3.3.1989 an R.... ...In der gedruckten Fassung des Notre Dame Journal of Formal Logic 29 (1987) sind nicht alle dieser Veränderungen berücksichtigt. Alcolea, Jesus Barendregt, H. P....

  • Korrespondenz mit Albert Visser

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

    ...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... ...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...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.