Göran Sundholm
Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject
2014
in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer
2014
in: Mind, values, and metaphysics II, Dordrecht : Springer
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
"Inference versus consequence" revisited
2012
Synthese 187/3
The proper explanation of intuitionistic logic
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Semantic values for natural deduction derivations
2006
Synthese 148/3
Antirealism and the roles of truth
2004
in: Handbook of epistemology, Dordrecht : Springer
Tarski and Leśniewski on languages with meaning versus languages without use
2003
in: Philosophy and logic in search of the Polish tradition, Dordrecht : Springer
2002
in: In the scope of logic, methodology and philosophy of science II, Dordrecht : Springer
Intuitionism and logical tolerance
1999
in: Alfred Tarski and the Vienna circle, Dordrecht : Springer
The general form of the operation in Wittgenstein's Tractatus
1992
Grazer Philosophische Studien 42
Constructive generalized quantifiers
1989
Synthese 79/1