吴方法在命题逻辑中的应用
李 晶;杨宗源
Application of Wu′s Method in Propositional Calculus(Chinese)
LI Jing;YANG Zong-yuan
华东师范大学学报（自然科学版） . 2006, (1): 80 -86 .