Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| A Framework for Priority Arguments | Hardcover | 978-0-521-11969-6 (0-521-11969-3) | 2010 | |
| Degrees of Unsolvability: Local and Global Theory | Taschenbuch | 978-3-662-21757-3 (3-662-21757-0) | 2013 | |
| Degrees of Unsolvability: Local and Global Theory | Hardcover | 978-0-387-12155-0 (0-387-12155-2) | 1983 |