Discrete Structures, Logic, and Computability - Hein James (Boston:Jones and Bartlett, 1995)