Introduction to the philosophy of mathematics - Lehman, Hugh 1936- (Blackwell, 1979)