-
中文图书1.可计算性与数理逻辑 O141/444*1
馆藏复本:1
可借复本:1 (美)布勒斯(Boolos,G.S.)等著
电子工业出版社 2003.6
(0) 馆藏 -
中文图书2.可计算性与数理逻辑 O141/444/2
馆藏复本:8
可借复本:0 (美)布勒斯(George S.Boolos), (美)John P.Burgess, (美)Richard C.Jeffrey著
电子工业出版社 2005.7
(0) 馆藏 -
中文图书3.可计算性与数理逻辑 O141/444
馆藏复本:8
可借复本:8 (美)布勒斯(Boolos,G.S.)等著
电子工业出版社 2003.6
(0) 馆藏