Logic, Master's Programme