Discrete structures, logic, and computability - Hein, James L. (Jones and Bartlett Publishing, 2002)