NPTEL Video Course : Mathematical Logic

Lecture 40 - FC and Semidecidability of FL