Phd Mathematical Logic, Manchester University