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


NummerTitelUmfangDozierende
851-0144-22 VDevelopments in Logic after Gödel: Applications to Theoretical Computer Science28s Std.
Do/213:15-15:00HG D 5.1 »
Do13:15-15:00LFW E 15 »
Fr/213:15-15:00IFW A 34 »
G. Sommaruga, J. Copeland