Logic and Discrete Math
ISBN-13: 9780135147139