Sets, Logic and Maths for Computing - Makinson, David (Springer London : Imprint: Springer, 2008)