Logic and Discrete Mathematics: A Computer Science Perspective
This text covers all the traditional topics of discrete mathematics -- logic, sets, relations, functions, and graphs -- and reflects recent trends in computer science.