检索到 2 条 分类号=O1 主题=可计算性 的结果
-
中文图书1.可计算性与数理逻辑 O141/5
馆藏复本：2
可借复本：2 (美)George S.Boolos，(美)John P.Burgess，(美)Richard C.Jeffrey著
电子工业出版社 2005.07
(0) 馆藏 -
中文图书2.Computability and logic:英文版 O141/4
馆藏复本：2
可借复本：0 (美)布勒斯, 伯吉斯, 杰弗里著
电子工业出版社 2003
(0) 馆藏
