| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Advances in Proof-Theoretic Semantics | Taschenbuch | 978-3-319-36781-1 (3-319-36781-1) | 2016 | Peter Schroeder-Heister |
| Advances in Proof-Theoretic Semantics | Gebunden | 978-3-319-22685-9 (3-319-22685-1) | 2015 | " |