Tuesdays 10:30-11:30 and Wednesdays 1:30-3:00
The textbook for this class is Enderton A Mathematical Introduction to Logic
, 2nd ed. 2001.
Homework will be assigned roughly weekly.
There will be two exams, an in-class midterm on October 22nd and a final exam on Monday, December 16 from 9:00-11:00.
Grades will be based on: 20% Homework, 35% Midterm, 45% Final Exam.
If you believe there is a mistake on any grading, you have two weeks
from when the item is handed back to bring it to my attention.