一阶逻辑完备性定理的代数证明

• An algebraic proof of completeness theorem of first-order logic