Sets, Logic and Maths for Computing - David Makinson (Springer, 2020)