Textbook: We will loosely follow "Mathematical Logic" by Ebbinghaus, Flum and Thomas. Any edition of this book will suffice. If you already have another basic logic text, it is likely that it will also suffice and I would be happy to speak to you about it. For the beginning of the course, we will follow the notes below on ordinal and cardinals. For the end of the course, we will follow some supplementary notes on basic computability theory and the Incompleteness Theorems.
Grading: This course will be graded entirely on homework. Most likely, there will be somewhere between 6 and 8 homework assignments over the course of the semester. I will typically give separate assignments to the students from the Math Department and to the students from Philosophy and Linguistics. These assignments will share some problems and, of course, you are welcome (and encouraged) to look at the problems on the other assignment.
Office Hours: I have posted official office hours above. However, I am around the math building almost every day. You are welcome to stop by my office any time and unless I have pressing business at hand, I am more than happy to take some time to speak with you about any aspect of the course.