School of Technology and Computer Science
Mathematical Logic
Instructor:
Ashutosh Gupta
Semester:
2015 Autumn/Monsoon (Aug - Dec)