可计算性与不可解性

剧情简介：

作者：M.戴维斯

出版社：北京大学出版社

ISBN：9787124356343