Discrete Structures, Logic, and Computability (Jones & Bartlett Computer Science)