Winter 2012 Peter Selinger "Introduction to Mathematical Logic" 
See the Course Information Sheet. 
Final Exam (posted Apr 2). Our final exam will be on Monday,
April 9, from 101 in Chase 319.
Strike contingency plan (posted Mar 9). In case of a strike, you should continue doing course work: reading and assignments. Please see below for a weekbyweek plan. Midterm (posted Feb 27). The midterm will be on Friday March 2 in class. Welcome to the course (posted Jan 4). Here, you will find uptodate information, including announcements, homework assignments, any handouts, etc. 
Homework 1, due Jan 23. 1.1 #2, 3; 1.2 #2, 5, 7, 10; 1.4 #2.
Answers: PDF.
Homework 2, due Feb 13. 1.5 #1, 4; 1.7 #12; 2.1 #1; 2.2 #2, 8,
11, 15.
Homework 3, due Feb 27. 2.1 #2; 2.2 #1, 9, 14.
Homework 4, due Mar 16. Lecture Notes 5, #1 (a)(f),
#2 (v): for each problem, prove the lefttoright implication,
using your choice of Prawitz style or Fitch style natural deduction.
Lecture Notes 5, # 3 (d), (j), (l). Handout 6, p.114 #1, 2.

In case of a strike, you should continue doing course work (reading
and assignments). No homework will be due during a strike, but after a
strike, the end of term will likely be accelerated. Here is a
weekbyweek contingency plan for what to study:

Lecture Notes 1 (posted Jan 15)
[pdf]:
The Language of Sentential Logic.
Lecture Notes 2 (posted Jan 15) [pdf]: Truth, Proofs, Soundness, and Completeness for Sentential Logic. Lecture Notes 3 (posted Feb 17) [pdf]: The Language of FirstOrder Logic. Lecture Notes 4 (posted Feb 17) [pdf]: Soundness, Completeness, and Consequences for FirstOrder Logic. Lecture Notes 5 (posted Feb 17) [pdf]: Fitch style natural deduction. 
Midterm Answers: PDF. 