• Takeuti

    1991-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-64

    ...Enthält: Korrespondenz mit Gaisi Takeuti aus dem Zeitraum vom 6.1.1991 bis 19.12.1995 Takeuti, Gaisi; Mathematiker, 1926-2017... ...... ...Takeuti, Gaisi...

  • Takeuti

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

    ...Enthält: Korrespondenz mit Gaisi Takeuti aus dem Zeitraum vom 14.1.1984 bis 20.12.1990 Takeuti, Gaisi; Mathematiker, 1926-2017... ...... ...Takeuti, Gaisi...

  • Takeuti

    1996-2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-65

    ...Enthält: Korrespondenz mit Gaisi Takeuti aus dem Zeitraum vom 8.1.1991 bis 10.1.12005 Takeuti, Gaisi; Mathematiker, 1926-2017... ...(GK 5-65-107) ·Email von Takeuti an Matthias Baaz vom 7.3.2000 (GK 5-65-113) ·Kopie eines masch.... ...... ...Takeuti, Gaisi...

  • Formally self-referential propositions for cut free classical analysis and related systems

    1974, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-89

    ...Enthält: zwei Sonderdrucke des zusammen mit Gaisi Takeuti verfaßten Artikels "Formally self-referential propositions for cut free classical analysis and related... ...... ...Takeuti, Gaisi...

  • Baaz

    2002-2003, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-11

    ...Enthält: Korrespondenz mit Matthias Baaz aus dem Zeitraum vom 3.1.2002 bis 23.9.2003 Baaz, Matthias; Mathematiker, Hochschullehrer, 1960 Darin: Rückseiten und Anlagen: ··handschriftlicher Brief von... ...... ...Takeuti, Gaisi...

  • Del Franco

    1984-1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-16

    ...Enthält: Korrespondenz mit Francesco del Franco, dem Gründer des Wissenschaftsverlages Bibliopolis DelFranco, Francesco Darin: Anlagen und Rückseiten: ··Kopie eines hs. Briefes von... ...Brief von Del Franco an Masayuki Nishihara vom 10.7.1989 (GK 5-16-120 verso) Nishihara, Masayuki Odifreddi, Piergiorgio; Mathematiker, 1950 - Takeuti, Gaisi;... ...... ...Takeuti, Gaisi...

  • Buchstaben N-O

    1989-2009, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-52

    ...Antwortbrief Kreisels (GK 5-52-45) ·Email von Gaisi Takeuti vom 29.5.2001 (GK 5-52-81 verso) ·Email von Catherine Plant vom 30.4.2002 und hs.... ...Marion, Mathieu; Philosoph, 1962- Plant, Catherine Schimanovich, Marlene Takeuti, Gaisi; Mathematiker, 1926-2017 Wojtylak, Pjotr; Mathematiker, 1951 -... ...... ...Takeuti, Gaisi...

  • Weingartner

    1973-1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-68

    ...Briefen Weingartners vom 27.9.1983 und vom 7.11.1983 an Gaisi Takeuti (GK 5-68-87) ·masch. Brief von Kreisel an Ernest W.... ...Briefes von Ulrich Felgner an Weingartner vom 22.1.1986 (GK 5-68-190) Adams, Ernest W.; Philosoph, 1926-2009 Felgner, Ulrich; Mathematiker, 1941- Kleene, Stephen Cole; Mathematiker, Logiker,... ...... ...Takeuti, Gaisi...

  • Kreisel letters

    1958-1963, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-1

    ...Rezensiert sind ein Artikel von Toshio Nishimura aus dem Journal Mathematical Society Japan 13 (1961) und ein Artikel von Gaisi Takeuti aus den Proceedings Japan... ...(Jean Louis) Mac Lane, Saunders, 1909 - 2005 Morley, Michael Darwin, 1930 - Myhill, John Nishimura, Toshio, 1926 - Parikh, Rohit, 1936 - Platek, Richard Alan Rabin, Michael Oser, 1931 - Scott, Dana...

  • Korrespondenz mit Verena Huber-Dyson

    1957-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 10-1

    ....; Mathematiker, Logiker, Informatiker, Philosoph, 1932 - Takeuti, Gaisi; Mathematiker, 1926 - 2017 Wang, Hao; Logiker, Philosoph, Mathematiker, 1921 - 1995 National... ...Briefes vom 12.5.1959 an Gaisi Takeuti. GK 10-1-212 ist ein hs. Brief vom 17.5.1959 von Dana Scott, GK 10-1-213 ist der Durchschlag eines masch....

  • Kreisel letters

    1973-1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-4

    ...Briefes vom 17.1.1973 an Gaisi Takeuti, GK 1-4-16 ein masch. Kurzbrief von Vivien Bane vom Springer-Verlag, GK 1-4-23 der Durchschlag eines masch.... ...Statman, Richard Suppes, Patrick, 1922 - Takeuti, Gaisi, 1926 - Temple, George Fredrick James, 1901 -...

  • Kreisel letters

    1981-1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-12

    ...Entwurfs zu einem Brief an G. Takeuti vom 7.12.1981, ein hs. korrigiertes Typoskript der Rezension eines Artikels von M.... ...Craig, William, 1918 - Crick, Francis, 1916 - 2004 Delzell, Charles N. 1953- Friedman, Harvey, 1948 - Macintyre, Angus Maddy, Penelope Scott, Dana S. (Stewart) Takeuti,...

  • Korrespondenz mit Albert Visser

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

    ...Popper vom 21.3.1983 (GK 11-1-25) ·"Socalled self-referential paradoxes", Kopie eines handschriftlichen Manuskriptes mit dem Zusatz: Letter of 14.III to Aoyama, a student of Takeuti"... ...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... ...Popper, Karl R.; Philosoph, Wissenschaftstheoretiker, 1902 - 1994 Pour-El, Marian B. Takeuti, Gaisi; Mathematiker, 1926 - 2017 Pudlák, Pavel; Mathematiker, 1952 -...

  • Kreisel letters

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

    ...Briefes vom 14.11.1972 an G. Takeuti. GK 1-3-157 ist die Kopie eines masch. Gutachtens über die Dissertation von J.Y.... ...(Dana Stewart) Shockley, William, 1910 - 1989 Serre, Jean-Pierre, 1926 - Straus, Ernst Gabor, 1922 - Suppes, Patrick, 1922 - Takeuti, Gaisi, 1926 - Troelstra, A. S....

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.