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