Cambridge University Press · Harvard University Press
| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computability and Logic 2ed | Hardcover | 978-0-521-23479-5 | 1980 | Richard C. Jeffrey |
| Computability and Logic 2ed | Paperback | 978-0-521-29967-1 | 1980 | " |
| Computability and Logic | " | 978-0-521-00758-0 | 2002 | Richard C. Jeffrey · John P. Burgess |
| Computability and Logic | Hardcover | 978-0-521-20402-6 | 1974 | Richard C. Jeffrey |
| Logic, Logic, and Logic | Paperback | 978-0-674-53767-5 | 1999 | |
| Logic, Logic, and Logic | Hardcover | 978-0-674-53766-8 | 1998 | |
| Meaning and Method: Essays in Honor of Hilary Putnam | Paperback | 978-0-521-11585-8 | 2009 | |
| The Logic of Provability | " | 978-0-521-48325-4 | 1995 | |
| The Unprovability of Consistency: An Essay in Modal Logic | " | 978-0-521-09297-5 | 2009 | |
G.B. · G. Boolos · George B · George (ed.) Boolos · George S. Boolos