| title | media type | ISBN-13 | year of publication |
|---|---|---|---|
| Gödel's Theorem | Paperback | 978-1-56881-238-0 | 2005 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse | Hardcover | 978-1-138-42726-6 | 2017 |
| Inexhaustibility: A Non-Exhaustive Treatment | Digital | 978-1-108-64163-0 | 2020 |
| Inexhaustibility: A Non-Exhaustive Treatment | Paperback | 978-1-56881-175-8 | 2004 |
| Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16 | Hardcover | 978-1-56881-174-1 | 2004 |
| Provability and truth | Paperback | 978-91-22-01158-3 | 1987 |
A K Peters/CRC Press · Almqvist & Wiksell International · Cambridge University Press · Routledge