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