2IT60 (2025-1) Logic and Set Theory