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