NPTEL Video Course : Discrete Mathematics

Lecture 7 - Methods of proof of an implication