NPTEL Video Course : Mathematical Logic

Lecture 4 - Semantics of PL