NPTEL Video Course : NOC:Discrete Mathematics (Prof. Sajith Gopalan)

Lecture 7 - Soundness and Completeness of the First Order Proof System