From 2 November 2020, the autumn semester 2020 will take place online. Exceptions: Courses that can only be carried out with on-site presence.
Please note the information provided by the lecturers via e-mail.

851-0144-22L  Developments in Logic after Gödel: Applications to Theoretical Computer Science

SemesterAutumn Semester 2016
LecturersG. Sommaruga, J. Copeland
Periodicitynon-recurring course
Language of instructionEnglish
CommentParticularly suitable for students of D-INFK


End of registration periodRegistration only possible until 29.09.2016