Amer Mathematical Society · Elsevier Science
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formalized Recursive Functionals and Formalized Realizability | 978-0-8218-1289-1 (0-8218-1289-0) | 1969 | |
| 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 | University of Wisconsin--Madison, 1978 Kleene Symposium · Jon Barwise · H. Jerome Keisler · Kenneth Kunen |
| Two Papers on the Predicate Calculus | 978-0-8218-1210-5 (0-8218-1210-6) | 1997 | Stephen C. Keene |
C. K. · S.C. · S.C. Kleene · S.K. · Stephen C. · Stephen Cole Kleene · Stephen Kleene