NPTEL Video Course : NOC:Discrete Mathematics (IIITB)

Lecture 1 - Introduction to Mathematical Logic