ProjectOverview • 198

Aussagenlogik
Aussagenlogik cisformations/negation
subset lattice cisformations/complement
set lattice cistransformations
subset lattice
set exact
subset lattice transformations
singletons=minimal sets