MDLUL/prädikatenlogischer Ausdruck

Start=prädikatenlogischer Ausdruck

MDLUL/prädikatenlogischer Ausdruck

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