Logic and Set Theory


[04-Sep-2017] The website has been updated now to reflect how the course will be taught in the 1st quarter of 2017-2018. Note, however, that we will rely mostly on Canvas for the bachelor-level course 2IT60 en on OnCourse for the homologation module 2IHT10. In particular, we shall post new material (e.g., slides) only in Canvas and OnCourse.