NPTEL Video Course : Mathematical Logic

Lecture 12 - Resolution