Sets, Logic and Maths For Computing