Truth and Proof in Intuitionism

Dag Prawitz. Truth and Proof in Intuitionism. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 45-67, Springer, 2012. [doi]


Abstract is missing.