E0 205 Mathematical Logic and Theorem Proving

Instructors: Deepak D'Souza and Kamal Lodaya

Teaching Assistants: Alvin George and Prathamesh Patil.