MDLUL/prädikatenlogische Sprache erster Stufe

Start=prädikatenlogische Sprache erster Stufe

MDLUL/prädikatenlogische Sprache erster Stufe

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