Discrete Structures, Logic, and Computability - Hein, James R. (Barb House, Barb Mews London:Jones and Bartlett Publishers, 1995)