-
中文图书1.符号逻辑讲义 O141-43/2
馆藏复本:3
可借复本:2 徐明编
武汉大学出版社 2008
(0) 馆藏 -
录像资料2.面向计算机科学的数理逻辑 O141-43/M1:1
馆藏复本:30
可借复本:30 中国新闻社影视部摄制
中国科学院科学出版社 2002
(0) 馆藏 -
中文图书3.面向计算机科学的数理逻辑-第2版 O141-43/1
馆藏复本:4
可借复本:4 陆钟万著
科学出版社 2002
(0) 馆藏

