Logic and knowledge - Russel, Bertrand