Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf - Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. (Springer Netherlands : Imprint: Springer, 2012)