Currently i am studying undergraduate mathematics. My current understanding of set theory and logic comes from chapter 1 of Munkres' topology and from Rudin. I am of the opinion that this is not enough . I can see several loopholes in my understanding of several important lemmas and theorems . For example i have no understanding of continuum hypothesis and i don't fully understand the importance of choice function apart from that it makes certain recursions unique.
Should i read a book on formal mathematical logic ?Currently i have Peter Hinman's book on mathematical logic.
Disclaimer- i have serious shortage of time. I indeed to take a proper course on logic latter.