At NUS math there is a 4000 logic course,
and 3000 Set Theory and Recursion Theory courses. Those are basic stuff but still requires some maturity in math.
They often offer a 5000 logic course, and sometimes 6000 recursion theory, set theory and model theory courses.
