Introduction to mathematical philosophy - Russell, Bertrand 1872-1970 (G. Allen and Unwin, 1960)