Mathematical Logic

Semester: I
Instructor: Sujata Ghosh
Meeting Times : Tuesdays, Thursdays 11:10 am - 1:10 pm
First Class: Tuesday, July 21, 2026
Location: Online

Email: sujata AT isichennai DOT res DOT in
Office Hours: By Arrangement (please send an e-mail)

Email: saptarshi AT isichennai DOT res DOT in
Office Hours: By Arrangement (please send an e-mail)

Course Description: This course can be considered as an introductory course on mathematical logic. We will deal with both model-theoretic and proof-theoretic techniques. We will also give an introduction to model theory and explore the usage of logic as a tool in mathematics. The complete syllabus of the course can be found here.

Text book(s): The main text books for the course include A mathematical introduction to logic by H.B. Enderton, and A course on mathematical logic by S.M. Srivastava.

Other books will be mentioned along the course as and when necessary.

Grades are based on mid-semester examination (20%), home assignments (20%), project (10%) and end-semester examination (50%). The home assignments would include sets of homework which will be uploaded here at regular intervals, and algorithmic questions. The projects would be decided along the way depending upon the interests, and the deadline for submission will be the last day of class in the semester.

The latex template for the project can be found here.