NPTEL Video Course : Introduction to Logic

Lecture 22 - Natural Deduction Method