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