, 2018, Structures and algorithms: mathematics and the nature of knowledge, Springer, Dordrecht.
, 1979a, On the metaphysics of the real line, in E. Saarinen, R. Hilpinen, I. Niiniluoto & M. Provence Hintikka (eds.), Essays in honour of Jaakko Hintikka, Dordrecht, Springer, pp. 91-99.