The provenance of pure reason : essays in the philosophy of mathematics and its history - Tait, William (Logic and computation in philosophy, 2005)