库齐切夫（A.S.Kuzichev）。 组合完备系统中（mathfrak R）理论的割定理。 （英语） Zbl 0411.03011号 莫斯克。大学数学。牛市。 32，编号1，53-57（1977）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4 +5 显示扫描页面 理学硕士： 03B40型 组合逻辑与lambda演算 关键词：切割的可接受性;组合完备系统;组合逻辑;lambda转换的演绎系统 引文：Zbl 0363.02030号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Kuzichev}，莫斯克。大学数学。牛市。32，编号1，53-57（1977；Zbl 0411.03011）