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