TY - RPRT TI - Algebraic geometry over Boolean algebras in the language with constants AU - Artem N. Shevlyakov PY - 2013 UR - https://arxiv.org/abs/1305.6844 ID - 1305.6844 ER -