NPTEL Video Course : Mathematical Logic

Lecture 5 - Consequences and Equivalences