2IT60 (2017-1) Logic and set theory