TY - RPRT TI - Fibered Universal Algebra for First-Order Logics AU - Colin Bloomfield AU - Yoshihiro Maruyama PY - 2023 UR - https://arxiv.org/abs/2205.05657 ID - 2205.05657 ER -