3.1. Proof Strategies Notes | Discrete Structure BSc. CSIT | FWU | TABFlux