标签：递归论,数理逻辑,数学,逻辑,递归,计算,可计算性理论,可计算性,
原作名:
作者：Robert I. Soare
出版年月：2020-02-20 …
页数： 437页
最新访问：2020-03-12 …
网友评分：
经典好书《Recursively Enumerable Sets and Degrees》读书内容简介:by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees...The definitions, result...
详情
