Zum Inhalt springen

MDLUL/isomorph (Prädikatenlogik)