Jeremy Avigad

, 2006, 'Mathematical method and proof', Synthese 153 (1), 105-159.