These comments jibed with my experience, so I made some changes to the book. I rewrote the section on reasoning about all possible models, breaking it into two parts. I also rewrote the section on truth in QL and the definition of satisfaction. I added two problem sets with solutions to the proofs chapter.
The new version (1.2) is now on-line in several formats. This is the version I will be teaching with in the Fall.
[ 1 comment ] ( 3890 views ) | [ 0 trackbacks ] | permalink
<<First <Back | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | Next> Last>>