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