m值命题逻辑系统的紧性定理
冉太模
On the Compaciness Theorem in m-valued (m2) Statement Logical System
RAN Tai-mo
数学季刊 . 1987, (2): 81 -84 .