'Predicate Logic: Proof Theory (Contd..)' - Computer Science and Engineering (IIT Delhi) Video Lectures by Prof. S. Arun Kumar

Watch Logic for CS ('Computer Science and Engineering' course from IIT Delhi) Video Lectures by Prof. S. Arun Kumar.

Course: Logic for CS

Discipline: Computer Science and Engineering

Faculty: Prof. S. Arun Kumar

Institute: IIT Delhi

NPTEL Lecture : 'Predicate Logic: Proof Theory (Contd..)'