题名:可计算性与不可解性
作者:(美)戴维斯,M著;沈 泓等译
出版年:1984
ISBN: 000048458
分类号: O141.3
中图分类: 递归论(递归函数、能行性理论)