MDLUL/Ausdrücken (Prädikatenlogik)

Start=Ausdrücken (Prädikatenlogik)

MDLUL/Ausdrücken (Prädikatenlogik)

Siehe=Ausdruck (Prädikatenlogik)
MDLUL/Ausdruck (Prädikatenlogik)
Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition