NPTEL Video Course : Introduction to Logic

Lecture 43 - Important theorems in First order Logic