Introduction to mathematical philosophy - Russell, Bertrand 1872-1970 (Allen & Unwin, 1975)