Here are a few more corrections that I've made while going through the latter parts of the text in my course. (I've now finished teaching the course, so these should be the final corrections you get from me for a while.)
Most of the changes to the text are minor, to fix references or wording or exercises.
There is one larger series of changes regarding the problems in chapter 36: these (nearly) all turned out to be duplicates. It looked like the intent was to move them to earlier chapters, so where that had already been done, I simply deleted the problems from chapter 36. After the deletions, only two exercises remained, so I moved those to an appropriate place in chapter 32, added solutions, and deleted them from chapter 36.
I also corrected the solutions for chapter 35, which involved adding a couple of proofs for the form of the CQ rule which is not intuitionistically valid.
Let me know if any of these changes need revision!
rzach
commented
7 years ago
Hi Richard,
Here are a few more corrections that I've made while going through the latter parts of the text in my course. (I've now finished teaching the course, so these should be the final corrections you get from me for a while.)
Most of the changes to the text are minor, to fix references or wording or exercises.
There is one larger series of changes regarding the problems in chapter 36: these (nearly) all turned out to be duplicates. It looked like the intent was to move them to earlier chapters, so where that had already been done, I simply deleted the problems from chapter 36. After the deletions, only two exercises remained, so I moved those to an appropriate place in chapter 32, added solutions, and deleted them from chapter 36.
I also corrected the solutions for chapter 35, which involved adding a couple of proofs for the form of the CQ rule which is not intuitionistically valid.
Let me know if any of these changes need revision!
Best, Richard