DISCRETE STRUCTURES LOGIC AND COMPUTABILITY - JAMES; HEIN (NEW DELHI NAROSA, 2004)
Keywords: EQUALITY; GRAMMARS; SETS