Discrete structures, logic, and computability - Hein, James (New Delhi : Jones and Bartlett Publishers, 2010)
Keywords: Mathematics; Sets; Graphs and tress; Predicate logic; Computational logic