Philosophy of mathematics and natural science - Weyl, Hermann 1885- (Princeton University Press, 1949)