Title: Discrete Structures, Logic, and Computability, Second Edition (Jones & Bartlett Computer Science)