MDLUL/prädikatenlogische Ausdrücke

Start=prädikatenlogische Ausdrücke

MDLUL/prädikatenlogische Ausdrücke

Siehe=prädikatenlogischer Ausdruck
MDLUL/prädikatenlogischer Ausdruck
Ziel=Ausdrücke_erster_Stufe/Über_Alphabet/Rekursiv/Definition