logic of relations

  1. REDIRECT algebraic logic