Discrete Structures, Logic And Computability door James Hein