| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Logic, Construction, Computation | 978-3-11-032493-8 (3-11-032493-8) | 2013 | Ulrich Berger · Hannes Diener · Peter Schuster |
| Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory | 978-3-030-30228-3 (3-030-30228-8) | 2019 | Peter M. Schuster · Andreas Weiermann |