Erik Palmgren
Constructivist versus structuralist foundations
2012
in: Epistemology versus ontology, Dordrecht : Springer
Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf
2012
with Dybjer P, Lindström Sten, Sundholm Göran (ed)
Dordrecht, Springer
From intuitionistic to point-free topology: on the foundation of homotopy theory
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Logicism, intuitionism, and formalism: what has become of them?
2009
with Segerberg Krister (ed)
Dordrecht, Springer