All forthcoming seminars - Mathematical logic - (2018/2019)

Date Seminar Seminar series
3/15/19 Proof interpretations: A modern perspective (1 ETCS)
Timetable: h 14:30 | Speaker: Thomas Powell (TU Darmstadt)
Mathematics mini courses 2018-19
Tot 1 Seminars

Studying

Share