| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. | 978-0-444-85345-5 (0-444-85345-6) | 1981 | Jon Barwise · H. Jerome Keisler · Kenneth Kunen |
S. C. Kleene · Stephen C. · Stephen Cole Kleene · Stephen Kleene