Kurseinschreibung

Einführung in die formale Logik für IMP (SoSe 2024)

Begleitender Kurs zur Vorlesung "Einführung in die formale Logik für IMP". Weitere Informationen finden Sie auf der Webseite zur Vorlesung.

Semester: SoSe 2024
Selbsteinschreibung (Teilnehmer/in)
Selbsteinschreibung (Teilnehmer/in)
Anonyme Gäste sind in diesem Kurs nicht zugelassen. Bitte loggen Sie sich mit Ihrem persönlichen Account ein oder geben Sie (falls eingerichtet) den Gastschlüssel ein.