The seminar in logic aims at the presentation of most recent publications in proof theorie.
The participants lecture about most recent results in proof theorie, also from their own scientific publications.
Zeit und Ort nach Übereinkunft
Not necessary