罗宾逊,J.A。 一种基于解析原理的面向机器的逻辑。 (英语) Zbl 0139.12303号 J.协会计算。马赫。 12, 23-41 (1965). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于7评论引用于584文件 数学溢出问题: 论自由理论的一个惊人性质 关键词:数值分析 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Robinson},J.协会计算。机器。12、23-41(1965年;Zbl 0139.12303) 全文: 内政部