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