Unsolvable classes of quantificational formulas - Lewis, Harry R. (Advanced book program, 1979)