Discrete structures, logic, and computability - Hein, James L (Jones & Bartlett, 1995)