| Titel | ISBN-13 (ISBN-10)  | Erschei- nungsjahr  | andere Autoren | 
|---|---|---|---|
| Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers | 978-3-642-O3O91-8 (3-642-O3O91-2)  | 2009 | Margaret Archibald · Vasco Brattka · Benedikt Lowe |