NPTEL Video Course : Introduction to Logic

Lecture 23 - Natural Deduction: Examples