马丁·戴维斯 马丁的结论意见。 (英语) Zbl 1439.03008号 Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:斯普林格。Outst公司。控制日志。10, 357-362 (2016).MSC公司:03-03 01A60型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Davis},Outst。控制日志。10、357--362(2016;Zbl 1439.03008) 全文: 内政部
理查德·佩蒂格鲁 不可或缺的论点和工具唯名论。 (英语) Zbl 1379.03002号 版本符号。日志。 5,第4期,687-709(2012).MSC公司:03A05号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.小矮星},版本符号。日志。5,第4号,687--709(2012;Zbl 1379.03002) 全文: 内政部