-
中文图书1.Python数学实验与建模 O141.4/134.2
馆藏复本:1
可借复本:0 司守奎, 孙玺菁主编
科学出版社 2020
(0) 馆藏 -
中文图书2.数理逻辑基础.下册 O141/442/3:V2
馆藏复本:1
可借复本:0 胡世华, 陆钟万著
科学出版社 1981
(0) 馆藏 -
中文图书3.数理逻辑基础.上 O141/442/3
馆藏复本:1
可借复本:0 胡世华, 陆钟万著
科学出版社 1981
(0) 馆藏 -
中文图书4.模型论基础 O141.4/141/2
馆藏复本:1
可借复本:0 王世强著
科学出版社 1987
(0) 馆藏 -
中文图书5.递归论 O141.3/425.3/2
馆藏复本:1
可借复本:0 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书6.非经典数理逻辑与近似推理.第2版 O141/162/3
馆藏复本:1
可借复本:0 王国俊著
科学出版社 2008
(0) 馆藏 -
中文图书7.代数模型论引论 O141.4/584/2
馆藏复本:1
可借复本:0 史念东著
科学出版社 2011
(0) 馆藏