发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium 76, Proceedings of a conference Volume 87 || Complexity of Derivations from Quantifier-Free Horn Formulae, Mechanical Introduction of Explicit Definitions, and Refinement of Completeness Theorems

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium 76, Proceedings of a conference Volume 87 || Complexity of Derivations from Quantifier-Free Horn Formulae, Mechanical Introduction of Explicit Definitions, and Refinement of Completeness Theorems

Statman, R.

作者Statman, R.
文件大小524.19KB
发表时间1977
DOI10.1016/s0049-237x(09)70442-2
页码505-518

← 返回【学霸图书馆】主页