| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Foundations of Intuitionistic Mathematics | 978-0-7204-2230-6 (0-7204-2230-2) | 1965 | Richard Eugene Vesley |
| Introduction to Metamathematics | 978-0-7204-2103-3 (0-7204-2103-9) | 1980 | |
| Intro to Metamathematic | 978-0-444-10088-7 (0-444-10088-1) | Stephen Cole Kleene | |
C. K. · S.C. · S.K. · Stephen C. Kleene · Stephen Cole Kleene