| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computability and Logic | Printed Access Code | 978-0-511-80407-6 | 2012 | John P. Burgess · Richard C. Jeffrey |
| Computability and Logic | Hardcover | 978-0-521-87752-7 | 2007 | John P. Burgess · Richard C. Jeffrey |
| Computability and Logic | Paperback | 978-0-521-00758-0 | 2002 | John P. Burgess · Richard C. Jeffrey |
| Computability and Logic | Hardcover | 978-0-521-80975-7 | 2002 | John P. Burgess · Richard C. Jeffrey |
| Computability and Logic | " | 978-0-521-38026-3 | 1989 | Richard C. Jeffrey |
| Computability and Logic | Paperback | 978-0-521-38923-5 | 1989 | " |
| Computability and Logic Fifth Edition | " | 978-0-521-70146-4 | 2007 | |
| The Logic of Provability | " | 978-0-521-48325-4 | 2008 | |
| The Logic of Provability | Hardcover | 978-0-521-43342-6 | 1994 | |
G.B. · G. Boolos · G S · George B · George Boolos · George S. · S. B