命题演算两个推理系统的等价性

宋方敏,殷熙尧

On the equivalence between deduction systems
H and G in propositional calculus

SONG Fangmin，YIN Xiyao

计算机工程与科学 . 2013, (9): 104 -109 .