with Fisher, D. , 2016, Reconstructing a logic from tractatus: Wittgenstein's variables and formulae, in S. Costreie (ed.), Early analytic philosophy, Dordrecht, Springer, pp. 301-324.
, 2011, Proofs and constructions, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 209-225.
, 2008, The new intuitionism, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 37-49.
, 1981a, 'Wittgenstein on the foundations of mathematics', Grazer Philosophische Studien 14, 165-175.