i'm a math major and pretty decent with proofs, but what kind of curriculum should i follow if i want to understand the more advanced logic (like modal logic, higher order logic, and maybe the foundation of mathematics) that analytic philosophers quibble about.