2IHT10 (2024-GS3) Logic and Set Theory