cylindric algebra

algebraizes first-order logic with equality

Categories: