Discrete structures, logic, and computability - Hein,James L (Narosa, 2004)