Introduction to mathematical philosophy - Russell, Bertrand (Muirhead library of philosophy;1, 1963)