TY - RPRT TI - On the logical complexity of cyclic arithmetic AU - Anupam Das PY - 2020 DO - 10.23638/lmcs-16(1:1)2020 UR - https://arxiv.org/abs/1807.10248 ID - 1807.10248 ER -