Das Frühjahrssemester 2021 findet grundsätzlich online statt. Neue Präsenzelemente ab 26. April werden von den Dozierenden mitgeteilt.

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


Keine Informationen zu Gruppen vorhanden.