Practice-Based Philosophy of Logic and Mathematics, 31 August – 2 September. tr 2009, 3 (10).