Sets, logic and maths for computing - Makinson, David (London : Springer, 2008)
Keywords: Computer science -- Mathematics