equational logic

views updated

equational logic See Birkhoff's completeness theorem.

More From encyclopedia.com