Sets, logic and maths for computing - Makinson, David (Undergraduate topics in computer science, 2008)