Logic in computer science and artificial intelligence Stockholm University Course syllabus search Course syllabus search Course, Second-cycle, Second level, Philosophy, Department of Philosophy Syllabuses Reading lists Syllabus Autumn 2024 (only available in Swedish) Latest Syllabus Autumn 2022 (only available in Swedish) Syllabus Autumn 2020 (only available in Swedish) HT 2024 Reading list FILD10 - valid from Autumn 2024 HT 2022