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