, 2006, 'The surveyability of mathematical proof: a historical perspective', Synthese 148 (1), 99-133.
, 2001, 'The birthplace of thinking: Heidegger's late thoughts on tautology', Heidegger Studies 17, 117-133.
, 1998a, 'Leibniz on intension, extension, and the representation of syllogistic inference', Synthese 116 (2), 117-139.