Home / Logic
Propositional logic extended with
predicates and quantifiers
to work over
non-logical domains of discourse
like sets.