• betreute Dissertationen

    1966-[ca. 1983], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 6-4

    ...Enthält: fünf Dissertationsschriften, die Kreisel an der Stanford University bzw. an der Université de Paris betreut hatte: ··Richard A. Platek, Foundations of recursion theory... ...... ...Statman, Richard...

  • Kreisel letters

    1978-1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-7

    ...Entwurf zu einem Gutachten über Richard Statman, GK 1-7-7 die Kopie eines hs. Manuskriptes mit dem Titel "Some Questions on Fregean structures".... ...Entwurfes zu einem Inhaltsverzeichnis für ein Buch über Beweistheorie (vgl. GK 2-13) Statman, Richard Sundholm, Göran Dissertationes mathematicae Handbuch...

  • Kreisel letters

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

    ...Briefes vom 12.2.1986 an Richard Statman, GK 1-15-23 ein hs. Entwurf vom 19.4.1985 zu einem Brief an Statman.... ...Nerode, Anil, 1932 - Peierls, Rudolf Ernst, Sir, 1907 - Statman, Richard Scott, Dana S. Wood, Allen W. Physics today Zentralblatt für Mathematik...

  • Buchstabe S

    1984-2003, (2008), (2013), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-59

    ....; Physiker, Wissenschaftshistoriker, 1928- Scowcroft, Philip Segal, Graeme; 1941 Serre, Jean Pierre; Mathematiker, 1926- Setzer, Anton; Mathematiker, 1963- Shanker, Stuart; Philosoph, Linguist,... ...Slater, Barry H.; 1936- Slater, John G.; Philosoph, 1930- Smith, Anthony; 1938- Smoryński, Craig; Mathematiker, 1947- Smullyan, Raymond M.; Mathematiker, Schriftsteller, 1919-2017 Soare, Robert I.;... ...... ...Shore, Richard A., Mathematiker, Hochschullehrer... ...... ...Statman, Richard...

  • Kreisel letters

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

    ...Briefes vom 19.2.1973 an Richard Statman. Bei GK 1-4-36 handelt es sich um den Durchschlag eines masch.... ...(Manuel), 1943 - Lyman, Richard W. Mac Lane, Saunders Miller, William F. Moravcsik, J.... ...(Stephen George), 1945 - Smorynski, C. Shepherdson, J. C. Statman, Richard Suppes, Patrick, 1922 - Takeuti, Gaisi, 1926 - Temple, George Fredrick James, 1901 -...

  • Kreisel letters

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-8

    ...Es handelt sich um die Besprechung von drei Beiträgen von Richard Statman, die 1978 und 1979 in den Annals of Mathematical Logic, in Theoretical Computer Science und...

Your search has not returned any results.