Begleitender Kurs zur Vorlesung "Einführung in die formale Logik für IMP". Weitere Informationen finden Sie auf der Webseite zur Vorlesung.
- Kursverantwortliche/r: M.Sc. Benjamin Hauskeller
- Kursverantwortliche/r: Nicole Schweikardt
Semester: SoSe 2024