| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computability: Turing, Gödel, Church, and Beyond | Paperback | 978-0-262-52748-4 (0-262-52748-0) | 2015 | B. Jack Copeland · Carl J. Posy · Martin Davis · Solomon Feferman |
| Computability: Turing, Gödel, Church, and Beyond | Hardcover | 978-0-262-01899-9 (0-262-01899-3) | 2013 | B. Jack Copeland · Carl J. Posy |
| Computability: Turing, Gödel, Church, and Beyond | Printed Access Code | 978-0-262-31267-7 (0-262-31267-0) | 2013 | B. Jack Copeland · Carl J. Posy |