雷蒙德·布特 为什么数学需要工程学。 (英语) Zbl 1360.00087号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,867-878(2016).MSC公司:00A35型 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,867--878(2016;Zbl 1360.00087) 全文: 内政部 arXiv公司
彼得·汉考克;皮埃尔·海韦拉特 编程接口和基本拓扑。 (英语) Zbl 1079.68022号 Ann.纯粹应用。逻辑 137,编号1-3189-239(2006).MSC公司:68号30 65楼03号 54A05型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Hancock}和\textit{P.Hyvernat},Ann.Pure Appl。逻辑137,No.1--3,189--239(2006;Zbl 1079.68022) 全文: 内政部 哈尔