• 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.; Mathematiker, 20.... ...... ...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.; Mathematiker, 20.... ...... ...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.; Mathematiker, 20.... ...... ...Macintyre, Angus J....

  • 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.; Mathematiker, 20.... ...... ...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.; Mathematiker, 20....

  • 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.; Mathematiker, 20....

  • 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.; Mathematiker, 20.... ...... ...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 L.E.J.... ...... ...Macintyre, Angus J....

  • 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) ·Email von John Chancellor vom... ...... ...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....

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

  • 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 Elif Inan vom 6.3.1997 (GK 5-8-124... ...... ...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; Archivar, 1940 - Neubauer, Herr Olby, Robert C.;... ...... ...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 verso) ·hs. und masch. Fax von... ...... ...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.; Mathematikerin, 1933-2017 Okada, Mitsuhiro; Informatiker,... ...... ...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 an Kreisel vom... ...... ...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 Mai 2007 bis Dezember 2014 (GK 5-19-16, -62, -67,... ...Kanamori, Akihiro; Mathematiker, 1948- Kantor, Jean-Marie Ketonen, Jussi Kimball, Margaret Kohlenbach, Ulrich; Mathematiker, 1962 - Levy, Azriel; Mathematiker, Logiker, 1934- Lugar, Lance Macintyre,...

  • 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 - Peierls, Rudolf Ernst, Sir, 1907 - Statman, Richard...

  • 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 J. Craig, William, 1918...

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.