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. 
Publication date
Monday, October 2, 2017 - 9:38:28 AM
Last Modified
Monday, October 2, 2017- 9:38:57 AM
Subject
Start date "Mathematical Logic" & Minicourse "Categorical Logic"
Published by
Peter Michael Schuster
Course Secretary for the Degree in Applied Mathematics
Mathematical logic (2017/2018)
Master's degree in Mathematics