谓词逻辑推理中证明方法的判定

• The Decidability of Proof Method in the Predicate Logic Inference