Zum Inhalt springen

MDLUL/Satz (Prädikatenlogik)