The following HTML text is provided to enhance online
readability. Many aspects of typography translate only awkwardly to HTML.
Please use the page image
as the authoritative form to ensure accuracy.
Biographical Memoirs: VOLUME 75
1978
Recursive functionals and quantifiers of finite types revisited I. Generalized recursion theory II. InProceedings of the 1977 Oslo Symposium, eds. J. E. Fenstad, R. O. Gandy, and G. E. Sacks, pp. 185-222. Amsterdam: North-Holland.
The work of Kurt Gödel (addendum). J. Symb. Logic43:613.
1980
The role of logical investigations in mathematics since 1930. In A Century of Mathematics in America, part 1, pp. 85-92. Providence, R. I.: American Mathematical Society.
