Discrete Structures, Logic, and Computability by Hein, James L.