TY - RPRT TI - A theory of finite structures AU - Daniel Leivant PY - 2018 UR - https://arxiv.org/abs/1808.04949 ID - 1808.04949 ER -