Which texts on set theory and on (mathematical) logic are great companions to learning HoTT?

[ntuJizhan]

Hello. My university provides both a graduate level set theory course and a graduate level mathematical logic course in this semester. Providing both set theory and mathematical logic courses is very rare (if it is not 1st time) in my university. Since set theory + (mathematical) logic and HoTT both can be considered the foundation of mathematics, could someone please suggest/advise which texts on set theory and on (mathematical) logic are great companions to learning HoTT?