Sets, Logic And Maths For Computing door David Makinson