Sets, logic and maths for computing - Makinson, David (Springer, 2012)