THE DECISION PROBLEM - Dreben, Burton; Goldfarb, Warren D. (Reading, Mass. Addison-Wesley, 1979)
Keywords: Predicate Calculus; Unsolvability (Mathematical Logic)