with Floyd, J. , 2011, Frege-Wittgenstein correspondence, in E. De Pellegrin (ed.), Interactive Wittgenstein, Dordrecht, Springer, pp. 15-73.
with Kanamori, A. , 1997, 'Hilbert and set theory', Synthese 110 (1), 77-125.
with Floyd, J. , 1991a, 'Tautology: how not to use a word', Synthese 87 (1), 23-49.