1.7. Introduction to proofs Notes | Discrete Structure BDS | TU | TABFlux