Discrete structures, logic, and computability
James L. Hein · 1994
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.