TY  - RPRT
TI  - Diagrammatic Algebra of First Order Logic
AU  - Filippo Bonchi
AU  - Alessandro Di Giorgio
AU  - Nathan Haydon
AU  - Pawel Sobocinski
PY  - 2024
UR  - https://arxiv.org/abs/2401.07055
ID  - 2401.07055
ER  -