2IT60 (2022-1) Logic and set theory