Instructor: Donald A. Martin; MS 7935 and Dodd 355; firstname.lastname@example.org.
Teaching Assistant: Assaf Shani; MS 2344.
Lectures: MWF 10:00-10:50; MS 5127.
Section: T 10:00-10:50; MS 5127.
Text:The text will be a set of notes made available here, gradually over the quarter. Notes made available so far.
Martin Office Hours: In MS 7935; Monday 12-1, Wednesday 11-12, and Fridays 1-2.
Grading: Homework (10%); 2 Midterm Exams (50%); Final Exam (40%). First midterm Wednesday, April 25
Content: First-order languages. Models, truth, and logical implication. Formal deduction. Soundness and completeness theorems for the system of formal deduction. Compactness and Loewenheim-Skolem theorems. Peano Arithmetic. Incompleteness theorems.
Homework: Homework will be assigned here and will be collected in class each Wednesday except the first one. No late homework will be accepted, but the lowest homework score will be dropped.