Title: Logic
Subtitle: Techniques of Formal Reasoning