NPTEL Video Course : Mathematical Logic

Lecture 7 - Calculations and Informal Proofs