Start date "Mathematical Logic" & Minicourse "Categorical Logic"

Start date "Mathematical Logic" & Minicourse "Categorical Logic"

 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. 
Data pubblicazione
lunedì 2 ottobre 2017 - 9.38.28
ultima modifica
lunedì 2 ottobre 2017- 9.38.57
Oggetto
Start date "Mathematical Logic" & Minicourse "Categorical Logic"
Pubblicato da
Peter Michael Schuster
Segreteria Corso di Laurea in Matematica Applicata
Mathematical logic (2017/2018)
Laurea magistrale in Mathematics