The Kleene Symposium
Subtitle: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
By: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
Contributors: Kleene, Stephen Cole, 1909-; Barwise, Jon.; Keisler, H. Jerome.; Kunen, Kenneth.
Series: Studies in logic and the foundations of mathematics ;; v. 101
Publisher: North-Holland Pub. Co.; sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Published: 1980
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 425
Subjects: Kleene, Stephen Cole, 1909-; Recursion theory -- Congresses; Intuitionistic mathematics -- Congresses
Notes: Includes bibliographies.