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