2IT60 (2018-1) Logic and set theory