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

逻辑与认知Vol.2, No.4, 2004 ----------------------------------------------------------------- 收稿日期:2004-1