| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings | Taschenbuch | 978-3-540-69405-2 | 2008 | Arnold Beckmann · Benedikt Löwe | |
| Logic Colloquium 2005 | Paperback | 978-0-521-32963-7 | 2011 | ||
| Logic Colloquium 2005 | Hardcover | 978-0-521-88425-9 | 2007 | Ludomir Newelski · Dag Normann · John R. Steel | |
| New Studies in Weak Arithmetics | Paperback | 978-1-57586-723-6 | 2013 | Patrick Cégielski · Charalampos Cornaros | |
Cambridge University Press · Center for the Study of Language and Inf · Springer