| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Logic Colloquium 2006 | Printed Access Code | 978-0-511-60532-1 (0-511-60532-3) | 2010 | Herman Geuvers · Anand Pillay · Jouko Väänänen |
| Logic Colloquium 2006 | Hardcover | 978-0-521-11081-5 (0-521-11081-5) | 2009 | Herman Geuvers · Anand Pillay · Jouko Väänänen |
| Models and Computability | Printed Access Code | 978-0-511-56567-0 (0-511-56567-4) | 2010 | John K. Truss |
B C · B. Cooper · Barry C. · Barry Cooper · P. B. C. · P. Barry · P. C. · P. Cooper · P S · S. B · S.B. Cooper · S. Barry · S. Barry Cooper · S.C. · S. Cooper