1st Semester 2012/13: Dependence Logic
- This will be an intensive introduction to dependence logic, consisting of a series of five lectures during the first week of the project period as well as homework.
- Credit: Students who successfully complete the course have the option of either (1) getting awarded 2EC for the course or (2) doing a project throughout January and then getting 6EC for the work they did for the course and the project together.
- Course website: Follow this link.
- J. Väänänen. Dependence Logic. Cambridge University Press, 2007.