这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
評分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
評分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
評分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
評分这本书可以作为Sacks 的"higher recursion theory"第一部分的后续。作者是集合论学家,因此书中的方法基本是集合论和模型论的。因此读者如果对Higher recursion theory有了一定了解,建议用递归论方法把这些结论重新证明一遍。这本书的好处是给出了几个非常重要的定理的证明。...
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有