126353

References

Erik Palmgren

with Lindström, S. , Westerståhl, D. (2012). Introduction: the philosophy of logical consequence and inference. Synthese 187 (3), pp. 817-820.

(2012)., Constructivist versus structuralist foundations, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 265-279.

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

with Lindström, S. , Westerståhl, D. (eds) (2012). The philosophy of logical consequence and inference. Synthese 187 (3).

with Lindström, S. (2009)., Introduction: the three foundational programmes, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 1-23.

(2009)., From intuitionistic to point-free topology: on the foundation of homotopy theory, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 237-253.

with Segerberg, K. (eds) (2009). Logicism, intuitionism, and formalism: what has become of them?, Springer, Dordrecht.