| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Introduction to Metamathematics | 978-0-923891-57-2 (0-923891-57-9) | 2009 | |
| Intro to Metamathematic | 978-0-444-10088-7 (0-444-10088-1) | S. C. Kleene · S.C. Kleene | |
| Mathematical Logic | 978-0-486-42533-7 (0-486-42533-9) | 2002 | |
C. K. · S.C. · S.C. Kleene · S. Cole · S.K. · Stephen C. · Stephen C. Kleene · Stephen Cole · Stephen Kleene
Dover Publications · Elsevier Science · Ishi Press