Title: Logic Techniques of Formal Reasoning