MDLUL/isomorph (Prädikatenlogik)

Start=isomorph (Prädikatenlogik)

MDLUL/isomorph (Prädikatenlogik)

Ziel=Strukturen/Isomorphismus/Isomorph/Definition