Springer · World Scientific Publishing Company
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Functional Interpretations | 978-981-4551-39-7 (981-4551-39-2) | 2020 | |
| ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... Notes in Mathematics , Band 500) | 978-3-540-07533-2 (3-540-07533-X) | 2009 | Gert H. Müller |