The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics, V. 101)

• University of Wisconsin--Madison, 1978 Kleene Symposium,Stephen C. Kleene,Jon Barwise,H. Jerome Keisler,Kenneth Kunen