TY - RPRT TI - Logic on the n-cube AU - Daniele Mundici PY - 2012 UR - https://arxiv.org/abs/1207.5717 ID - 1207.5717 ER -