NPTEL Video Course : Introduction to Logic

Lecture 30 - Proofs in the PM system