
Göran Sundholm
(2010-2019)
XConstructive 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

"Inference versus consequence" revisited
2012
Synthese 187/3
