General deduction and strong completeness of the formal deductive system l? Are further studied.

进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。

youdao

General deduction and strong completeness of the formal deductive system l? Are further studied.

进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。

youdao