The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.a - Kleene Symposium (1978 : Madison, Wis.); Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth (Amsterdam : North-Holland Pub., 1980)
Keywords: Kleene, Stephen Cole, -- 1909-1994; Recursion theory -- Congresses; Intuitionistic mathematics -- Congresses