NPTEL Video Course : Mathematical Logic

Lecture 37 - Resolution Rules