1st Semester 2015/16: Social Networks and Games Instructors J. van Benthem and F. Lui ECTS 6 References benthem.pdf