The logical basis of metaphysics - Dummet, Michael A.E (Harvard University Press, 1991)