I will follow this course at the ILLC for my M.Sc. Logic (UvA) during my 6th Semester, here is the Catalogue Link.