| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science | 978-0-12-206382-4 (0-12-206382-1) | 1994 | Martin Davis · Ron Sigal |
| Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science | 978-0-12-206380-0 (0-12-206380-5) | 1983 | Martin Davis |