Unsolvable classes of quantificational formulas - Lewis H R (Reading Addison-Wisley, 1979)
Keywords: Combinatorial analysis; Mathematical logic; Unsolvability