TY - RPRT TI - Logic and computation as combinatorics AU - Norihiro Yamada PY - 2023 UR - https://arxiv.org/abs/2306.07806 ID - 2306.07806 ER -