具体课程信息详见
http://www.swansea.ac.uk/postgraduate/research/science/computer-science/mres-logic-and-computation/