The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. - Kleene, Stephen Cole, 1909-1994; Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth (Studies in logic and the foundations of mathematics, 1980)