Epistemology versus ontology

essays on the philosophy and foundations of mathematics in honour of per Martin-löf

2012

P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds)

Berlin, Springer