NPTEL Video Course : Mathematical Logic

Lecture 38 - Resolution Examples