Lektion 4: Weitere Operatoren, Schachtelung
Umbenennung
Konstruktion geschachtelter Terme
Umbenennung Konstruktion geschachtelter Terme Umbenennung Konstruktion geschachtelter Terme