NPTEL Video Course : Introduction to Logic

Lecture 42 - Natural Deduction in Predicate Logic