The 2008 lecture notes are now available here.
The proof of Lemma 5.11 is here.
Problems & assignments
There are some small errors in the problem sheets, listed here.
The first problem/assignment sheet is here.
The second problem sheet is here.
The third problem sheet is here.
The fourth and final problem sheet is here.
The solutions to the problem sheets are here.