马克西莫娃,L.L。 可证明逻辑无限层扩展中的插值。 (英语。俄文原件) Zbl 0693.03009号 代数逻辑 27,第5期,361-376(1988); 摘自《代数逻辑学》27,第5期,581-603(1988)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova},代数逻辑27,No.5,361--376(1988;Zbl 0693.03009);《代数逻辑学》27,No.5,581-603(1988)的译文 全文: 内政部 欧洲DML
马克西莫娃,L.L。 可证明逻辑无限层扩展中的插值。 (俄语) Zbl 0681.03006号 代数逻辑卡 27,第5号,581-603(1988). 审核人:S.阿尔特莫夫 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova},代数逻辑27,No.5,581--603(1988;Zbl 0681.03006) 全文: 欧洲DML