Discrete Structures, Logic, and Computability - Hein, James L (London Jones and Barelett, 2010)
Keywords: Mathematics