TY - RPRT TI - Universal Algebra and Mathematical Logic AU - Zhaohua Luo PY - 2011 UR - https://arxiv.org/abs/1104.4606 ID - 1104.4606 ER -