Sets Logic and Maths for Computing