Sets, logic and maths for computing - Makinson, David 1941- (London New York Springer, 2012)
Includes bibliographical references and index.
Keywords: Computer science -- Mathematics