Discrete structures, logic, and computability - Hein, James L. (World Headquarters/Jones & Bartlett Learning, 2017)