Formale Systeme, Automaten, Prozesse: Vorlesung (Do, 25.04.2019)

Kapitel:

00:00:44
Rekursion und Induktion