MDLUL/Ausdruck (Prädikatenlogik)

Start=Ausdruck (Prädikatenlogik)

MDLUL/Ausdruck (Prädikatenlogik)

Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition