• Baaz

    1984-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-3

    ....; Mathematiker, 20. Jht. Wainer, Stanley S.; Mathematiker...

  • Buchstabe W

    1984-2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-67

    ...Enthält: Korrespondenz mit Personen, deren Familiennamen mit W beginnt Wainer, Stanley S.; Mathematiker Walker, Ralph Charles Sutherland; 1944-... ...... ...Wainer, Stanley S., Mathematiker...

  • Kreisel letters

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

    ...GK 1-13-24 ist ein hs., von Kreisel mit Streichungen versehener Brief vom 23.11.1982 an Stanley Wainer, GK 1-13-23 die masch. Abschrift. Bei GK 1-3-26 handelt es... ...Briefe vom 17.9. und vom 4.5.1982 von A. S. Troelstra an Dana Scott sowie eine Kopie von Kreisels Rezension des Aufsatzes "The interpolation theorem in fragments of logics" (1981)... ...Van der Hoeven, Gerrit Wainer, S. S. Weingartner, Paul Springer Publishing Company Time (New York, N.Y. : 1923)...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.