MDLUL/Termmenge

MDLUL/Termmenge

Start=Termmenge

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition