| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf | 978-94-OO7-4434-9 (94-OO7-4434-X) | 2012 | P. Dybjer · Sten Lindström · Erik Palmgren |