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


NumberTitleHoursLecturers
851-0144-22 VDevelopments in Logic after Gödel: Applications to Theoretical Computer Science28s hrs
Thu/213:15-15:00HG D 5.1 »
Thu13:15-15:00LFW E 15 »
Fri/213:15-15:00IFW A 34 »
G. Sommaruga, J. Copeland