PhD Mathematical Logic (Математическая логика, доктор философии (PhD)), The University of Manchester