Course Timetable 00662 - Mathematical Logic (6 cfu)