The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A./ edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. - Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980. - xx, 425 p.: ill.; 23 cm. - Studies in logic and the foundations of mathematics, v. 101. .

Includes bibliographies.

0444853456

79020792


Kleene, Stephen Cole 1909-1994


Recursion theory---Congresses.
Intuitionistic mathematics---Congresses.

510.92 / K64