2IHT10 (2024-GS2) Logic and Set Theory