College Publications · Springer
| title | media type | ISBN-13 | year of publication | |
|---|---|---|---|---|
| Adventures in Formalism | Paperback | 978-1-84890-060-8 | 2012 | |
| History of Mathematics: A Supplement | " | 978-1-4419-2593-0 | 2010 | |
| History of Mathematics: A Supplement | Hardcover | 978-0-387-75480-2 | 2007 | |
| Logical Number Theory I: An Introduction | Paperback | 978-0-387-52236-4 | 1991 | |
| Logical Number Theory I: An Introduction | Taschenbuch | 978-3-540-52236-2 | 1991 | |
| Metamathematics of Arithmetic II | Paperback | 978-0-387-52235-7 | 1996 | |
| Metamathematics of Arithmetic II | Taschenbuch | 978-3-540-52235-5 | 1993 | |
| MVT: A Most Valuable Theorem | " | 978-3-319-52955-4 | 2017 | |
| Self-Reference and Modal Logic | Paperback | 978-0-387-96209-2 | 1985 | |
| Self-Reference and Modal Logic | Taschenbuch | 978-3-540-96209-0 | 1985 |