| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Advances in Proof Theory | Taschenbuch | 978-3-319-80513-9 | 2018 | Reinhard Kahle · Thomas Studer |
| Advances in Proof Theory | Gebunden | 978-3-319-29196-3 | 2016 | Reinhard Kahle · Thomas Studer |
| Turing's Revolution: The Impact of His Ideas about Computability | Taschenbuch | 978-3-319-79380-1 | 2018 | Giovanni Sommaruga |
| Turing's Revolution: The Impact of His Ideas about Computability | Gebunden | 978-3-319-22155-7 | 2016 | " |