Collected Papers of Stig Kanger with Essays on his Life and Work Volume II

Collected Papers of Stig Kanger with Essays on his Life and Work

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Logicism, Intuitionism, and Formalism: What Has Become of Them?