杰弗里·赫斯特。 书评:D.R.Hirschfeldt,切片真相。关于组合原理的可计算数学和逆向数学。 (英语) Zbl 1336.00029号 牛市。符号。日志。 21,第3号,338-339(2015). 审查[Zbl 1304.03001号]. 引用于1文件 MSC公司: 00A17年 外部书评 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 03B30型 经典理论基础(包括逆向数学) 35楼03号 二阶和高阶算术和片段 03日30分 可计算性和递归理论中的其他度和可约性 03天80 可计算性和递归理论的应用 05年3月 切割消除和正规形定理 10年5月 拉姆齐理论 引文:Zbl 1304.03001号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hirst},公牛。符号。日志。21,第3号,338--339(2015;Zbl 1336.00029) 全文: 内政部