I’m a math major in an undergraduate math program and I’m really interested in logic. What are the things I can do later to specialize in logic? What kind of graduate programs can I go to?
valid question