TY - RPRT TI - Algebraic logic and logical geometry in arbitrary varieties of algebras AU - Boris Plotkin PY - 2012 UR - https://arxiv.org/abs/1205.6235 ID - 1205.6235 ER -