| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information | Taschenbuch | 978-3-642-00658-6 | 2009 | ||
| Foundational Theories of Classical and Constructive Mathematics | Hardcover | 978-94-007-0430-5 | 2011 | ||
| Foundational Theories of Classical and Constructive Mathematics | Paperback | 978-94-007-0432-9 | 2011 | ||
| History and Philosophy of Constructive Type Theory | Hardcover | 978-0-7923-6180-0 | 2000 | ||
| Turing's Revolution: The Impact of His Ideas about Computability | Taschenbuch | 978-3-319-79380-1 | 2018 | Thomas Strahm | |
| Turing's Revolution: The Impact of His Ideas about Computability | Gebunden | 978-3-319-22155-7 | 2016 | " | |