Göran Sundholm

Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session

2014

in: Constructivity and computability in historical and philosophical perspective, Dordrecht : Springer

Open Access Link
Containment and variation: two strands in the development of analyticity from Aristotle to Martin-Löf

2013

in: Judgement and the epistemic foundation of logic, Dordrecht : Springer

Open Access Link
Demonstrations versus proofs, being an afterword to constructions, proofs, and the meaning of the logical Constants

2013

in: Judgement and the epistemic foundation of logic, Dordrecht : Springer

Open Access Link
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar theorem

2008

with Van Atten Mark

in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer

Open Access Link
Antirealism and the roles of truth

2004

in: Handbook of epistemology, Dordrecht : Springer

Open Access Link
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

Open Access Link
A century of inference: 1837–1936

2002

in: In the scope of logic, methodology and philosophy of science II, Dordrecht : Springer

Open Access Link
Intuitionism and logical tolerance

1999

in: Alfred Tarski and the Vienna circle, Dordrecht : Springer

Open Access Link