| Material | Last modification time |
|---|---|
| Lecture notes: chapter 1 | 2016-03-16 02:20:38 (UTC) |
| Annotated slides: chapter 1 | 2016-03-15 09:41:38 (UTC) |
| Exercise sheet 1 | 2016-03-18 06:31:35 (UTC) |
| Lecture notes: chapter 2 | 2016-03-16 02:19:48 (UTC) |
| Annotated slides: chapter 2 | 2016-03-15 09:41:39 (UTC) |
| Lecture notes: chapter 3 | 2016-03-30 05:59:49 (UTC) |
| Annotated slides: chapter 3, part 1 | 2016-03-17 10:08:13 (UTC) |
| Annotated slides: chapter 3, part 2 | 2016-03-22 09:25:35 (UTC) |
| Annotated slides: chapter 3, part 3 | 2016-03-29 09:42:13 (UTC) |
| Annotated slides: chapter 3, part 4 | 2016-04-13 01:05:59 (UTC) |
| Exercise sheet 2 | 2016-03-22 09:19:28 (UTC) |
| Lecture notes: chapter 4 | 2016-04-13 09:42:32 (UTC) |
| Annotated slides: chapter 4, part 1 | 2016-04-05 09:33:26 (UTC) |
| Annotated slides: chapter 4, part 2 | 2016-04-13 09:40:46 (UTC) |
| Exercise sheet 3 | 2016-04-06 01:34:57 (UTC) |
| Updated Hintikka set | 2016-04-22 22:59:32 (UTC) |