Sets, Logic and Maths for Computing - David Makinson ((Undergraduate Topics in Computer Science))