Sets, Logic and Maths for Computing - Makinson, David; SpringerLink (Online service) (London : Springer-Verlag London, 2008)
Keywords: Computer science -- Mathematics; Symbolic and Algebraic Manipulation; Computer Science; Discrete Mathematics in Computer Science