Introduction to mathematical philosophy - Russell, Bertrand, 1872-1970. (Muirhead library of philosophy, 1919)