Discrete Structures, Logic, And Computability by James L. Hein & James Hein