MDLUL/Ausdrücke (Prädikatenlogik)

Start=Ausdrücke (Prädikatenlogik)

MDLUL/Ausdrücke (Prädikatenlogik)

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