| 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-O-444-85345-5 (O-444-85345-6) | 1981 | Stephen C. Kleene · Jon Barwise · H. Jerome Keisler · Kenneth Kunen |