Epistemology versus ontology
essays on the philosophy and foundations of mathematics in honour of per Martin-löf
Edited by
P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm
Springer
2012
