Kleene, S. C., Barwise, J., Keisler, H. J., & Kunen, K. (1980). Kleene Symposium: Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland.

Kleene, Stephen Cole, Jon Barwise, H. Jerome Keisler, a Kenneth Kunen. Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Amsterdam ; New York : New York: North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Kleene, Stephen Cole, et al. Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.