Discrete Structures logic and Computability - Hein James L. (New Delhi Jones& Bartltee, 2014)