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