- Homework 4, due March 21st
- Homework 3, due February 28th
- Homework 2, due February 14th (Solution to cut-elim problem, Solution to problem 3)
- Homework 1, due January 31st (Sample solution to problem 5)

- Homework 4, due March 21st
- Homework 3, due February 28th
- Homework 2, due February 14th (Solution to cut-elim problem, Solution to problem 3)
- Homework 1, due January 31st (Sample solution to problem 5)