Logic and Knowledge - Russel,Bertrand (Routledge, 1994)