2IT60 (2024-1) Logic and Set Theory