Sets, logic and maths for computing - Makinson, David 1941- (Undergraduate Topics in Computer Science, 2020)