-
中文图书1.快速电子计算机 TP33/21
馆藏复本:3
可借复本:2 (英) 布斯(A.D.Booth), (英) 布斯(K.H.V.Booth)著
科学出版社 1958
(0) 馆藏 -
中文图书2.逻辑与演绎科学方法论导论 O14/15:2
馆藏复本:2
可借复本:2 (波兰) 塔尔斯基著
商务印书馆 2009
(0) 馆藏 -
中文图书3.吴允曾选集:数理逻辑与计算机科学 O141/9
馆藏复本:2
可借复本:2 吴允曾
北京科学技术出版社 1991
(0) 馆藏