, 2019, The rise of analytic philosophy 1879-1930: from Frege to Ramsey, Routledge, London.
, 1998a, 'Classical arithmetic is part of intuitionistic arithmetic', Grazer Philosophische Studien 55, 127-141.