Courses: LOG111 Deduction and Metalogic - Autumn 2021
[No data - possibly only exists info in norwegian]