可计算性与不可解性 - 暨南大学图书馆


名称	可计算性与不可解性

索引号	O141.3/851
分类号	O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学)
作者	戴维斯、M.、沈泓、
出版社	北京 : 北京大学出版社, 1984
ISBN
页数	277页 ; 19cm
价格	CNY0.95
标签
简介
注解	书名原文:Computability and unsolvability