Externe URL für das Modul "Logic in Computer Science - Advanced"

Bitte verwenden Sie die folgende URL, um das Modul aus anderen Webseiten zu referenzieren:

https://moduldb.informatik.uni-kiel.de/show.cgi?mod=infLICS2%2D01a