1st Semester 2017/18: Stone duality in logic and computer science Instructors S. van Gool ECTS 6 References http://www.samvangool.net/dualityprojectjanuary2018.html