The course "Mathematical Logic" will start Tuesday 17th October 2017, with the first lecture being held from 13:30 to 15.30 in Aula M.
In the first two weeks of the semester the minicourse "Categorical Logic" will be held instead by Prof. Thomas Streicher, TU Darmstadt:
http://www.di.univr.it/?ent=seminario&id=4093&lang=en
The minicourse is recommended but will not be a prerequisite for "Mathematical Logic", let alone part of the examinable material.