1 Table of Contents: “... Deviations; Chapter 2. Quantifying in and out of Quotes; Chapter 3. Restricted Quantification and Conditional...”

2 “... the graph theoretical content from the French edition to three chapters. There we set out those elements...”

3

4 “..., carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing...”

5 “... to discuss all the classical open problems in combinatorics for which an algebraic approach turns out...”