罗杰·C·林登。 谓词演算中的插值定理。 (英语) Zbl 0093.01002号 太平洋。数学杂志。 9, 129-142 (1959). 页码:−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4个 +5 显示扫描页面 引用于2评论引用于35文件 关键词:数学的基础、哲学和逻辑 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Lyndon},太平洋沿岸。数学杂志。9、129——142(1959年;Zbl 0093.01002) 全文: 内政部