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|
|851-0144-22 V||Developments in Logic after Gödel: Applications to Theoretical Computer Science||28s hrs||G. Sommaruga,