Course: 
M69, Introduction to Mathematical Logic 
Instructor:  
Schedule: 
MWF 1:452:50 
Objective: 
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

Prerequisites: 
Everyone familiar with basic notions of abstract mathematics is welcome. 
Text: 
Herbert Enderton: A Mathematical Introduction to Logic, Academic Press 1972. I will not necessarily follow the book to the letter. 
Exams, etc: 
Homework assignments every week, one midterm and final. I will emphasize independent work and the final exam. 