Equational logic (source code)

= Equational logic
{wiki=Equational_logic}