Sets, Logic and Maths for Computing - Makinson, David (Springer London, 2012)