Preliminary Syllabus for Math 461: Mathematical Logic

Spring 2021

Textbook: Enderton, A mathematical introduction to logic, Academic Press.

Meeting times: The lectures will be held as Zoom meetings every Monday and Wednesday from 1:40pm until 3:00pm

Main course topics:

The final grade will be based on the results of the examinations and the solutions of the weekly homework problems. We will have two midterm exams and a final exam. Here are the weights of the different components of the course: