UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS - Lewis, Harry R. (Reading, Mass. Addison-Wesley, 1979)
Keywords: Unsolvability (Mathematical Logic); Combinatorial Analysis; Computable Functions