TY - RPRT TI - Algebraic Logic, Varieties of Algebras and Algebraic Varieties AU - B. Plotkin PY - 2003 UR - https://arxiv.org/abs/math/0312420 ID - math/0312420 ER -