2IT60 (2019-1) Logic and set theory