Discrete Structures, Logic And Computability - Hein, James L. (New Delhi : Jones and Bartlett Publishers, 2017)