MDLUL/elementar äquivalent

Start=elementar äquivalent

MDLUL/elementar äquivalent

Ziel=Prädikatenlogik/Strukturen/Elementar äquivalent/Definition