| title | ISBN-13 | year of publication |
|---|---|---|
| Automorphisms of the Lattice of Recursively Enumerable Sets | 978-0-8218-2601-0 | 1995 |
| Computability Theory and Its Applications: Current Trends and Open Problems: Proceedings of a 1999 Ams-Ims-Siam, Joint Summer Research Conference, ... Applications, June | 978-0-8218-1922-7 | 2000 |
| The Notre Dame Lectures | 978-1-108-65993-2 | 2020 |
| The Notre Dame Lectures: Lecture Notes in Logic, 18 | 978-1-56881-250-2 | 2005 |
A K Peters/CRC Press · Amer Mathematical Society · Cambridge University Press