MATH-MD-IDC1-1-Th: Mathematical Logic | Semester I | University of Calcutta