Title: The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Authors: Kleene, Stephen Cole, 1909-; Barwise, Jon.; Keisler, H. Jerome.; Kunen, Kenneth.; Kleene, Stephen Cole, 1909-1994.
Publisher: North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Year: 1980
Subjects: Kleene, Stephen Cole,; Kleene, Stephen Cole,; Recursion theory Congresses.; Intuitionistic mathematics Congresses.