| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, | 978-1-56881-3O1-1 (1-56881-3O1-5) | 2006 | Wolfram Pohlers · Colloquium Logicum 200 |