NPTEL Video Course : Introduction to Logic

Lecture 26 - Resolution and refutation method