Compulsory elective course during studies abroad - Advanced course in logic