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