Logic and knowledge - Russell, Bertrand (1956)