• Macintyre

    2008-2015, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-48

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 12.1.2008 bis 7.1.2015 Macintyre, Angus J.;... ...... ...Macintyre, Angus J....

  • Macintyre

    2006-2007, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-47

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 4.1.2006 bis 22.12.2007 Macintyre, Angus J.;... ...... ...Macintyre, Angus J....

  • Macintyre

    (1989), 1990-1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-44

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 15.3.1990 bis 27.12.1991 Macintyre, Angus J.;... ...... ...Macintyre, Angus J....

  • Macintyre

    1992-1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-45

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 6.1.1992 bis 16.12.1997 Macintyre, Angus J.;... ...... ...Macintyre, Angus J....

  • Macintyre

    1987-1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-43

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 3.1.1987 bis 5.12.1989 Macintyre, Angus J.;...

  • Macintyre

    1998-2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-46

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 2.1.1998 bis 24.12.2005 Macintyre, Angus J.;...

  • Macintyre

    1984-1987, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-42

    ...Enthält: Korrespondenz mit Angus Macintyre aus dem Zeitraum vom 21.6.1984 bis 31.12.1986 Macintyre, Angus J.;... ...... ...Macintyre, Angus J....

  • Constructive logic and logic versus algebraization I

    1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-115

    ...Enthält: zwei Sonderdrucke des zusammen mit Angus J. Macintyre publizierten Artikels "Constructive logic and logic versus algebraization I" aus: The... ...... ...Macintyre, Angus J....

  • Baaz

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

    ...Baaz, Matthias; Mathematiker, Hochschullehrer, 1960 Darin: Anlagen und Rückseiten: ··Kopie eines handschriftlichen Briefes von Stan Weiner vom 25.6.1984 (GK 5-3-3 verso) ·handhriftlicher Brief von...

  • Buchstabe F

    1980-2011, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-26

    ...Friedman, Harvey; Mathematiker, 1948- Darin: ··Email von Angus Macintyre vom 19.9.2009 (GK 5-26-43 verso) ·Email von Adrian Mathias vom 4.3.210 (GK 5-26-48 verso)... ...... ...Macintyre, Angus J....

  • Baaz

    1996-1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-8

    ...James vom 12.1.1996, Isaacson, Daniel vom 15.1.1996, Angus MacIntyre vom 12.1.1996 (alle GK 5-8-6) ·Email vom 17.12.1996 an Nancy Mahon (GK 5-8-95 verso) ·Email von... ...... ...Macintyre, Angus J....

  • Logical hygiene, foundations and abstractions: Diversity among aspects and options

    2006-2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-110

    ...Enthalten sind zwölf Typoskriptversionen, die älteste vom 21.12.2006, die jüngste vom 4.11.2007, Teilstücke, handschriftliche Vorfassungen, E-Mails und maschinenschriftliche Briefe von Kenneth Derus... ...... ...Macintyre, Angus J....

  • Korrespondenz mit Brian McGuinness

    1998-2007, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 12-1

    ....; Wirtschaftswissenschaftler, Hochschullehrer, 1946 - Macintyre, Angus J.; Mathematiker, 20. Jht. Marion, Mathieu; Philosoph, 1962 - Nedo, Michael;... ...... ...Macintyre, Angus J....

  • Gödel-Symposium 1983

    1982-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-75

    ...Enthält: Korrespondenz und Unterlagen in Zusammenhang mit dem im Juli 1983 in Salzburg veranstalteten Gödel-Symposium Feferman, Solomon; Mathematiker, Philosoph, Hochschullehrer, 1928- Haller,... ...... ...Macintyre, Angus J....

  • Buchstaben N-O

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

    ...Brief Kreisels an Plant vom 5.5.2002 (GK 5-52-89) ·Email von Catherine Plant vom 15.5.2002 (GK 5-52-93 verso) ·Email an Angus Macintyre vom 14.1.1998 (GK 5-52-94... ...... ...Macintyre, Angus J....

  • Empfehlungsschreiben

    (1967), 1984-1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-74

    ....; Mathematiker, 1953- Denef, Jan; Mathematiker, 1951- Dorey Alan J. Dorroh, James R. Dries, Lou van den; Mathematiker, 1951- Eberle, Ruth Evans, E.... ...Krajíček, Jan; Mathematiker, 1960- Lewis, Alain A. Macintyre, Angus J.; Mathematiker, 20. Jht. Martin, Donald L.; 1939- Merzbach, Uta C.;... ...... ...Macintyre, Angus J....

  • Delzell

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

    ...Mints und Delzell vom 12.8.1992 (GK 5-18-77 verso) ·Ausdruck einer E-Mail von Alex Nabutovsky an Delzell vom 12.8.1992 (GK 5-18-77 versp) ·Kopie eines hs. Briefes von Magnus... ...... ...Macintyre, Angus J....

  • Derus

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

    ...Derus, Kenneth Darin: Anlagen und Rückseiten: ··Emailausdrucke von Angus Macintyre (teilweise verso) und hs. Briefe an Macintyre aus dem Zeitraum... ...Kanamori, Akihiro; Mathematiker, 1948- Kantor, Jean-Marie Ketonen, Jussi Kimball, Margaret Kohlenbach, Ulrich; Mathematiker, 1962 - Levy, Azriel; Mathematiker, Logiker, 1934- Lugar, Lance...

  • Kreisel letters

    1984-1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-15

    ...Briefes vom 30.1.1985 von J. Moravcsik. Auf der Kopie hat Kreisel eine hs.... ...Briefes vom 3.12.1984 an Angus Macintyre. GK 1-15-48 enthält Kopien von fünf hs.... ...Detlefsen, Michael, 1948 - De Filippo, Lydia England, Lynn Getty, Ann. Harrington, Leo A. Macintyre, Angus Moravcsik, J. M. E. Nerode, Anil, 1932 -...

  • Kreisel letters

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

    ...Bei GK 1-12-15 handelt es sich um das Druckmanuskript des 1982 erschienenen Artikels "Constructive logic versus algebraization I" von Kreisel und A. Macintyre. Beyda, William...

  • Korrespondenz mit Albert Visser

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

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

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.