College that offers study on logic and set theory at undergraduate level

Actually, I am searching for some college where I will be able to learn and study about predicate logic , propositional calculus, set theory and other similar topics related to foundational mathematics.
Any help will be highly appreciated.

Thank you

Off the top of my head, Carnegie Mellon. At most universities, advanced undergraduates can take graduate classes, so you don’t need to exclusively restrict yourself to what’s available at the undergraduate level.

The ccs at ucsb, which is essentially a graduate school for undergraduates