Das Frühjahrssemester 2021 findet sicher bis Ostern online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

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

SemesterHerbstsemester 2016
DozierendeG. Sommaruga, J. Copeland
Periodizitäteinmalige Veranstaltung
LehrspracheEnglisch
KommentarParticularly suitable for students of D-INFK


BelegungsendeBelegung nur bis 29.09.2016 möglich