Mathematics and necessity : essays in the history of philosophy - Smiley, Timothy (Proceedings of the British Academy ; ;, 2000)