NPTEL Video Course : Introduction to Logic

Lecture 28 - Axiomatic Propositional Logic