Logic and Proof Techniques I
5 credits
Reading list, Bachelor's level, 1MA027
A revised version of the reading list is available.
Main group 1
- Barwise, Jon; Etchemendy, John, Language proof and logic, Stanford, Calif., CSLI Publications, cop. 2002
Syllabus
- Syllabus valid from Autumn 2023
- Syllabus valid from Autumn 2022
- Syllabus valid from Autumn 2019
- Syllabus valid from Autumn 2017
- Syllabus valid from Autumn 2012, version 2
- Syllabus valid from Autumn 2012, version 1
- Syllabus valid from Autumn 2010, version 2
- Syllabus valid from Autumn 2010, version 1
- Syllabus valid from Autumn 2007, version 2
- Syllabus valid from Autumn 2007, version 1