Makinson, David. Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. - London : Springer-Verlag London, 2008. - xv, 301 p. : ill., digital ; 24 cm. - Undergraduate topics in computer science, 1863-7310 . ISBN: 9781846288456 (electronic bk.) 9781846288449 (paper) Subjects--Topical Terms: Computer science--Mathematics.Symbolic and Algebraic Manipulation.Computer Science.Discrete Mathematics in Computer Science. Dewey Class. No.: 004.0151