MDLUL/Automorphismengruppe (Prädikatenlogik)

Start=Automorphismengruppe (Prädikatenlogik)

MDLUL/Automorphismengruppe (Prädikatenlogik)

Ziel=Struktur/Automorphismus/Gruppe/Definition