2IT60 (2020-1) Logic and set theory