Hey guys, so here's the deal. I'm a Math and Computer Science major, about to enter my senior year. I'm pretty sure I want to go to grad school and I just started looking for schools I might want to apply to. The thing is, I'm not completely sure if I'd like to pursue a PhD in mathematics or computer science. To be more specific though, if I'm going for math, I'd like to do Logic. And if I choose to go for computer science, I really want to do Theory. I'm sort of leaning towards pursuing Theory instead of Logic. But that's why I'm still unsure about which to pursue: I've been told a lot that Theory relies a lot on formal methods and mathematical logic. The two are related. So I guess I'm asking for whatever advice/suggestions I can get for making a decision, and also which schools I might want to consider. Thanks!