经典命题逻辑公理系统定理证明算法设计

Http://logic.zsu.edu.cn/journal.htm 逻辑与认知 Vol.2, No.4, 2004-----------------------------------------