• Finite definability of number-theoretic functions and parametric empleteness of equational calculi

    1961, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-50

    ...Enthält: 2 Sonderdrucke des zusammen mit William Tait publizierten Artikels "Finite definability of number-theoretic functions and parametric empleteness of... ...... ...Tait, William W....

  • Set existence II

    1961, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-46

    ...Enthält: 2 Sonderdrucke des zusammen mit Robin O. Gandy und William Tait publizierten Artikels "Set existence II" aus Bulletin de l'Académie Polonaise des Sciences.... ...Korrektur Gandy, Robin O.; Mathematiker, - 1995 Tait, William W. 1929 -... ...... ...Tait, William W....

  • Set existence

    1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-40

    ...Enthält: einen Sonderdruck des zusammen mit Robin O. Gandy und William Tait publizierten Artikels "Set existence" aus Bulletin de l'Académie Polonaise des Sciences....

  • Buchstaben T-U

    1984-1994, (2004), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-62

    ...Enthält: Korrespondenz mit Personen, deren Familiennamen mit T oder mit U beginnt Tait, William W.; Philosoph, 1929- Tanaka, Kazuyuki Taussky, Olga;... ...... ...Tait, William W....

  • Foundations of Analysis. Stanford Summer 1963

    1963-1965, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-2

    ...Im Ergänzungsteil finden sich Beiträge von W. Tait, J. Harrison und R. Parikh. Harrison, Joseph Arthur Howard, William Alvin, 1926 - Parikh, Rohit,...

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-11

    ...GK 1-11-9 ist die Kopie eines Artikel von William W. Tait mit dem Titel "A realizability interpretation of the theory of species", 1975.... ...Friedman, Harvey, 1948 - Scott, Dana S. (Dana Stewart) Tait, William...

  • Kreisel/Troelstra 1968

    1960-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-17

    ...Briefes vom 29.9.1960 an William Tait, GK 1-17-2 ein masch. Brief vom 20.9.1967 von A.S.... ...Brief an Dana Scott vom 28.12.1995, Kopien von zwei hs. Briefen an William Farmer vom 28.12.1995 und vom 10.1.1996 (mit hs.... ...Macintyre, Angus Myhill, John Scedrov, Andrej, 1955 - Scott, Dana S. Tait, William W. 1929 - Troelstra, Anne S.; 1939 - Vesley, Richard Eugene, 1932...

  • Berufliche Korrespondenz A-Z: P-Z

    1972-1976, Archiv der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V., III. Abt., Rep. 191, Nr. 11

    ...Petersmann.- G. Pfeifer.- W. Müller.- Lyndel V. Prott.- Wolfgang Raabe.- Hans Dieter Rath.- Dietrich Rauschning.- Dietrich Klose.- H.... ...Hallmann.- Fritz Sturm.- Tagami.- William Tait.- G. Tedeschi.- Jürg von Kalckreuth.- Rudolf Thauer.- Christian Tomuschat.- Elisabet Reisch.- Thomas Trömel.- Dimitris...

  • MSS of Kreisel Reviews

    1952-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-16

    ...Durchschläge, offenbar von NSF-Gutachten für William Craig, Gabriel Stolzenberg sowie Saul A. Kripke und Simon Kochen.... ...GK 2-16-21 ist das Typoskript einer Rezension des 1975 im Journal of Symbolic Logic publizierten Artikels von William Powell, "Extending Gödel's Negative Translation to ZF".... ...Rezensiert ist der Artikel "On a predicative extension of the theory of admissible sets" (1972) von W. Marek und M. Srebrny. GK 2-16-50 ist die hektographiert Kopie eines masch.... ...Rezensionsmanuskripte zweier Artikel von William W. Tait. Der erste Artikel ist "Constructive reasoning" (1968), der zweite "Intensional of finite... ...... ...Gehring, Frederick W....

Your search has not returned any results.