检索到 1 条 分类号=O141 主题=可计算性 馆藏地=样本书阅览室（密集书库136） 的结果
-
中文图书1.可计算性与数理逻辑 O141/444/2
馆藏复本：8
可借复本：0 (美)布勒斯(George S.Boolos), (美)John P.Burgess, (美)Richard C.Jeffrey著
电子工业出版社 2005.7
(0) 馆藏
