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.



The National Academies | 500 Fifth St. N.W. | Washington, D.C. 20001
Copyright © National Academy of Sciences. All rights reserved.
Terms of Use and Privacy Statement