Logic & Formal Reasoning: Overviews