The final exam is a take-home, and must be submitted to the grade grinder
before Noon, Saturday, December 15.   The Lab (OS 102) will be open for three hours
for your convenience beginning at 11:30 AM, Friday, December 14, but you do not
need to take the exam during this period.  You may use the text while taking the exam,
but you should not consult with anyone else (in person or over the phone or on the
web or ...) about the exam.  The ten questions are drawn from Chapters 6 through 11,
and 13, and each of the questions is assigned the same weight (10 points).    In proofs
using Fitch, do not use Tautological Consequence to justify an instance of excluded middle.

 1.  Exercise  6.13,  p. 162.
 2.  Exercise  6.38,  p. 175.
 3.  Exercise  7.6,    p. 183.
 4.  Exercise  7.27,  p. 194.
 5.  Exercise  8.27,  p. 212.
 6.  Exercise  8.47,  p. 223.
 7.  Exercise  9.12,  p. 242.
 8.  Exercise 10.25, p. 283.
 9.  Exercise 11.4,   p. 292.
10. Exercise 13.13, p. 350.