Course pages 2011–12
Introductory Logic
Further information:
- [Typos fixed 26/10/11 @ 16:25] Lecture 1 also as 8-up
- [Typos fixed 26/10/11 @ 16:25] Lecture 2 also as 8-up
- [Typo fixed 11/11/11 @ 21:04] Lectures 3 and 4 also as 8-up
- [Minor typo fixed 29/11/11 @ 23:00] Lectures 5, 6 and 7 also as 8-up
- Lecture 8: Natural deduction, intuitionism, Curry-Howard also as 8-up