• Mints

    1984-1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-50

    ...Enthält: Korrespondenz mit Grigori Mints aus dem Zeitraum vom 20.7.1984 bis 19.12.1991 Mints, G. E.; Mathematiker, 1939- Darin:... ...... ...Mints, G. E....

  • Mints

    1992-2010, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-51

    ...Enthält: Korrespondenz mit Grigori Mints aus dem Zeitraum vom 6.1.1992 bis 8.9.2010 Mints, G. E.; Mathematiker, 1939- Darin:... ...Manuskripten Kreisels "Herbrand's rules and Hilbert's ε-substitution methods(s)", "Opportunities for emprical evidence VI" und "Suitable data in the area around... ...... ...Mints, G. E....

  • Kohlenbach

    1997-2013, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-36

    ...Enthält: Korrespondenz mit Ulrich Kohlenbach aus dem Zeitraum vom 14.8.1997 bis 17.11.2013 Kohlenbach, Ulrich; Mathematiker, 1962- Darin: ··Email vom 15.2.2007 von Grigori Mints und... ...... ...Mints, G. E....

  • The use of abstract language in elementary metamathematics: Some paedagogic examples

    1975, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-95

    ...Enthält: eine Kopie des zusammen mit G.E. Mints und S.G. Simpson publizierten Artikels "The use of abstract language in elementary metamathematics: Some paedagogic examples" aus:... ...Parikh, New York 1975 (Lecture Notes in Mathematics 453) Mints, G. E.; Mathematiker, 1939 - Simpson, Stephen G.; Mathematiker, 1945... ...... ...Mints, G. E.... ...Simpson, Stephen G....

  • Weingartner

    1994-2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-70

    ...Briefes mit Anlagen von Jean Pierre Serre vom 23.12.1996 (GK 5-90-95) ·hs. Brief von Grigori Mints vom 27.10.2000 und Durchschlag der hs. Antwort Kreisels (GK 5-70-121) ·masch. Brief... ...... ...Mints, G. E....

  • Weingartner

    1987-1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-69

    ...Tagungsberichtes von Grigori Mints (GK 5-69-126) ·Kopie eines hs. Briefes an Mints vom 8.3.1993 (GK 5-69-194) ·Kopie eines hs.... ...Briefes an Graeme Segal vom 30.9.1990 (GK 5-69-219 verso) Baaz, Matthias; Mathematiker, Hochschullehrer, 1960- Crick, Francis; Biologe, 1916-2004 DelFranco, Francesco Engeler, Erwin; Mathematiker,... ...... ...Mints, G. E....

  • Sammelakte Verträge (Abschriften). Lohbrügge. Grundstücksvermietung (B. Gienau 1936); desgleichen...

    1929-1937, Staatsarchiv Hamburg, 416-1/1_I B b 5 Band 2

    ...Gienau 1936); desgleichen (E. Huhn 1936). Moorburg. Landungsanlage und Schwimmbaum (Johanna Bauer und Wilma Junge 1930,1935): Grundstücksverpachtung (W.... ...Stubbe 1935); Grundstücksvermietung (A. Mint 1935); Desgleichen (H. Lohdamm 1935); Desgleichen (H.J.... ...Grundstücksenteignung (Vergleich vor der Schätzungskommission) (E. Odemann 1930); Grundstücksverpachtung (E. Steddens 1930); Desgleichen (Derselbe 1931); Desgleichen... ...Möller 1930); Desgleichen (Siedlung Meiendorf 1930); Desgleichen (E. Schäfer 1930); Desgleichen (G. Bey 1930); Desgleichen (Gemeinde Rahlstedt 1932); Desgleichen ( K....

  • Proofs and Provability

    1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-13

    ...Zwei masch. Seiten von G.E. Mints sind Teil des Manuskriptes. Mints, G. E. Sundholm, Göran....

  • Derus

    1985-2015, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-19

    ...Briefe von Daniel Isaacson (größtenteils verso) aus dem Zeitraum vom Januar 2009 bis Juli 2010 (GK 5-19-39, -59, -85, -110, 120, -163) und hs. Entwurf zu einer E-Mail an Isaacson vom... ...Brief an Jean-Marie Kantor vom 12.8.2010 (GK 5-19-171) und Email vonn Kantor vom 20.9.2010 (GK 5-19-183 verso) ·Email von Grigori Mints vom 12.9.2010 (GK 5-19-177) und Email von... ...Mathias, Adrian R. D.; 1944- Mints, G. E.; Mathematiker, 1939- Morgan, Aimee Parikh, Rohit; Informatiker, 1936- Scott, Dana S.; Mathematiker,... ...... ...Mints, G. E....

  • Delzell

    (1990), 1992-1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-18

    ...(GK 5-18-25 verso) ·Ausdruck einer E-Mail-Korrespondenz zwsichen Delzell, Laureano Gonzales-Vega und Henri Lombardi vom 28./29.2.1992 (GK 5-18-31 verso) ·Ausdruck einer... ...Brief von Delzell an Henri Lombardi und Laureano Gonzales-Vega und Ausdruck von E-Mail von Gonzales-Vega und Lombardi an Delzell vom 29-5-1992 (GK 5-18-53 verso) ·Kopie eines hs....

  • Kreisel letters

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

    ...Briefe an J. Myhill und G.E. Mints vom 19. bzw. vom 13.10.1970. GK 1-3-56 ist der Durchschlag eines masch.... ...Briefes vom 18.9.1972 an E. Hilgard, ein von Kreisel annotiertes masch. Schreiben vom 11.9.1972 von A.H.... ...Briefes vom 14.11.1972 an G. Takeuti. GK 1-3-157 ist die Kopie eines masch.... ...(Ernst Robiquiet), 1904 - 2001) Howard, William Alvin, 1926 - Jeroslow, Robert G., 1942 - Jongh, Dick de Keisler, H. Jerome Minëtìs, G. E....

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.