The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.
Developments in Logic after Gödel: Applications to Theoretical Computer Science
|Semester||Autumn Semester 2016|
|Language of instruction||English|
|Comment||Particularly suitable for students of D-INFK|
|No public learning materials available.|
|Only public learning materials are listed.|