M69, Introduction to Mathematical Logic
As the title of the class suggests, I will go through the bare essentials of mathematical logic and foundations of mathematics. The people leaving the class will understand
Everyone familiar with basic notions of abstract mathematics is welcome.
Herbert Enderton: A Mathematical Introduction to Logic, Academic Press 1972. I will not necessarily follow the book to the letter.
Homework assignments every week, one midterm and final. I will emphasize independent work and the final exam.