-
中文图书1.面向计算机科学的数理逻辑.2版 TP301.6/10=2
馆藏复本:13
可借复本:11 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书2.计算机科学中的现代逻辑学 TP301.6/19
馆藏复本:6
可借复本:6 王元元编著
科学出版社 1989
(0) 馆藏
馆藏复本:13
可借复本:11 陆钟万著
科学出版社 2002
(0) 馆藏
馆藏复本:6
可借复本:6 王元元编著
科学出版社 1989
(0) 馆藏