Logic and knowledge - Russell (Routledge, 1994)