Sets, logic, and maths for computing - Makinson, David (Delhi Springer, 2011)
Includes index.
Keywords: Computer Science -- Logic -- Boolean Operations -- Squirrel Math -- Sets -- FBSH