The Philosophy of mathematics - Hart, W. D. (Wilbur Dyre) 1943- (Oxford readings in philosophy, 1996)