Unsolvable classes of quantificational formulas - Lewis, Harry R. (Reading, Mass. : Addison-Wesley, 1979)
'Advanced Book Program.'
Includes indexes.
Bibliography: p. 190-194.
Keywords: Unsolvability (Mathematical logic); Combinatorial analysis; Computable functions