Zum Inhalt springen

MDLUL/erfüllbar (Prädikatenlogik)