'FC, Semidecidability of FL, and Tableau' - Mathematics (IIT Madras) Video Lectures by Prof. Arindama Singh

Watch Mathematical Logic ('Mathematics' course from IIT Madras) Video Lectures by Prof. Arindama Singh.

Course: Mathematical Logic

Discipline: Mathematics

Faculty: Prof. Arindama Singh

Institute: IIT Madras

NPTEL Lecture : 'FC, Semidecidability of FL, and Tableau'