| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Fundamentals of Mathematical Logic | 978-1-56881-262-5 (1-56881-262-0) | 2005 | ||
| Recursion-Theoretic Hierarchies | 978-1-107-16824-4 (1-107-16824-4) | 2017 | ||
| Recursion Theory. Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume IV | 978-3-540-15523-2 (3-540-15523-6) | 1987 | Gert H. Müller · Wolfgang Lenski | |
P.G. · P. G. Hinman · P. H. · Peter G. · Peter H.
A K Peters/CRC Press · Cambridge University Press · Springer