851-0144-22L Developments in Logic after Gödel: Applications to Theoretical Computer Science
| Semester | Herbstsemester 2016 |
| Dozierende | G. Sommaruga, J. Copeland |
| Periodizität | einmalige Veranstaltung |
| Lehrsprache | Englisch |
| Kommentar | Particularly suitable for students of D-INFK |
| Belegungsende | Belegung nur bis 29.09.2016 möglich |