-
Personenseite
Richard Statman
-
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...