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 [and] Kenneth Kunen
- Amsterdam : North-Holland Pub., c1980
- xx, 425 p. : ill. ; 23 cm.
- Studies in logic and the foundations of mathematics ; v. 101 .