-
中文图书1.计算机科学中的现代逻辑学 TP301.6/19
馆藏复本:6
可借复本:6 王元元编著
科学出版社 1989
(0) 馆藏 -
中文图书2.可计算性与数理逻辑 TP301.4/1
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏
馆藏复本:6
可借复本:6 王元元编著
科学出版社 1989
(0) 馆藏
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏