-
中文图书1.可计算性与不可解性 O24/1YZ
馆藏复本:1
可借复本:1 (美)戴维斯(M.Davis)著
北京大学出版社 1984
(0) 馆藏 -
中文图书2.数学·计算·逻辑 TP301/5YZ
馆藏复本:1
可借复本:1 陆汝钤著
湖南教育出版社 1993
(0) 馆藏 -
中文图书3.可计算性与计算复杂性导引 TP301.4/1
馆藏复本:8
可借复本:8 张立昂编著
北京大学出版社 1996
(0) 馆藏