The required text/software package for the course is Language, Proof, and Logic, 2nd edition. David Barker-Plummer, Jon Barwise and John Etchemendy. CSLI. 2011. The software works on PCs and Macs; install on any and as many computers you like.

Do not buy a used copy of this package, and do not “Rent” it. You can buy and download a digital copy at, or order a new one from Amazon directly. The registration code that comes with a new copy of the book can only ever be registered to a single person, so someone’s used copy is going to be worthless to you.

Click for Syllabus Click for Current Week Click for Problem Sets

Week 1

Week 2

Week 3

Week 4

Week 5

Week 6

Week 7

Week 8

Week 9

Week 10

Week 11

Week 12

Week 13

Week 14

Week 15

Final Exam Week

  • Exam 3 will be administered in our regular classroom during our scheduled final exam slot. Check online at to see the schedule for this and all your other courses’ exam times.
  • Exam 3 is not a comprehensive final exam. It will only test you on the material after Exam 2, namely Chapters 11 and 13. It will have no Take Home component.

Valid CSS!