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

This book introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability.