The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A./
edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
- Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980.
- xx, 425 p.: ill.; 23 cm.
- Studies in logic and the foundations of mathematics, v. 101. .