Zum Inhalt springen

MDLUL/Interpretation (Prädikatenlogik)