Logic: Techniques of Formal Reasoning