| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Foundations of Mathematics I | 978-1-84890-033-2 (1-84890-033-3) | 2011 | Claus Peter Wirth · Joerg Siekmann |
| Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 5, number 6. Special Issue: The Emergence of Structuralism and Formalism: September 2018 | 978-1-84890-288-6 (1-84890-288-3) | 2018 | Prokop Sousedik · David Svoboda |