Discrete structures, logic and computability - Hein, James L (Jones and Bartlett India, 2017)