Discrete structures, logic, and computability 3rd ed - Hein, James L. (Jones and Bartlett Publishers, 2010)