• Buchstabe G

    1984-2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-27

    ....; Philosoph, Hochschullehrer, 1916-2013 Gefwert, Christoffer; Philosoph, Hochschullehrer, 1947- Geheniau, Florence George, Bill Geyer, Wulf-Dieter; Mathematiker, 1939- Gheeraert, John;... ...... ...Girard, Jean-Yves...

  • Korrespondenz mit Albert Visser

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

    ..., Kopie eines handschriftlichen Manuskriptes (GK 11-1-6) ·"Aus der Trickkiste der Beweistheorie", Kopie zweier handschriftlicher Manuskripte datiert auf den 16.6.1983; das kürzere eine Art Abstract... ...Popper vom 4.3.83 und von handschriftlichen Briefen Kreisels an Popper vom 28.3.1983 und vom 18.4.1983 ·"Progress Report. 1983 for summer 1984", handschriftlich (GK 11-1-10 ·Kopie eines... ...Doing sums formally", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11) ·Jean-Yves Girard, "Le rasoir de Kreisel", Kopie eines Artikels aus ·Kopie eines...

  • Kreisel letters

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-8

    ...Empfehlungsschreibens für Jean-Yves Girard vom 18.4.1980 von Solomon Feferman an G. Mokobodzki sowie Lebenslauf, Schriftenverzeichnis und Profil von... ...Abschrift sowie ein Anschreiben Scotts an seine Kollegen mit einem Brief Kreisels und seiner Beurteilung des Werkes von Girard als Anlagen. GK 1-8-41 enthält ein masch.... ...Delzell, Charles N., 1953 - Feferman, Solomon Girard, Jean-Yves Grattan-Guinness, I. Mokobodzki, G....

  • Kreisel letters

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

    ...GK 1-13-31 ist die Kopie eines hs. Briefes an Jean-Yves Girard vom 18.10.1982. GK 1-13-34 ist die Kopie eines hs.... ...Dummett, Michael, 1925 - 2011 Feferman, Solomon Girard, Jean-Yves Kaufmann-Bühler, Walter Kleene, Stephen, 1909 - 1994 Popper, Karl R....

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.