Courses offered by the Key Research Area Logic for the PhD programme