谓词逻辑推理中证明方法的判定
위사라집추리중증명방법적판정
The Decidability of Proof Method in the Predicate Logic Inference
저자의 최근 논문