TY  - RPRT
TI  - Minimal Axiomatization of Boolean Algebras
AU  - Eugene Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2304.02224
ID  - 2304.02224
ER  -