References
P Dybjer
with Lindström Sten, Palmgren Erik, Sundholm Göran (eds) (2012). Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht: Springer.
with Lindström Sten, Palmgren Erik, Sundholm Göran (eds) (2012). Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht: Springer.