Sets, logic and maths for computing. - Makinson David (London Springer, 2008)
Keywords: I I C