-
中文图书1.数理逻辑基础 310.1/4147, O141/32
馆藏复本:4
可借复本:1 希尔柏脱(Hilbert,D.), 阿克曼(Ackermann,W.)著
科学出版社 1958
(0) 馆藏 -
中文图书2.递归函数论 O141.3/9
馆藏复本:1
可借复本:0 培特(Peter,R.)著
科学出版社 1958
(0) 馆藏 -
中文图书3.数理逻辑导论 O141/35
馆藏复本:1
可借复本:0 莫绍揆著
上海科学技术出版社 1965
(0) 馆藏 -
中文图书4.算法论 O141.3/1
馆藏复本:6
可借复本:1 莫绍揆编著
科学出版社 1982
(0) 馆藏 -
中文图书5.元数学导论 O141.2/2/V.2
馆藏复本:1
可借复本:0 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984-1985
(0) 馆藏 -
中文图书6.极限论新解 O171/4
馆藏复本:3
可借复本:2 莫绍揆
高等教育出版社 1992
(0) 馆藏 -
中文图书7.数理逻辑概貌 O14/7
馆藏复本:5
可借复本:4 莫绍揆著
科学技术文献出版社 1989
(0) 馆藏 -
中文图书8.递归函数论 O141.3/4
馆藏复本:2
可借复本:2 莫绍揆编著
上海科学技术出版社 1965
(0) 馆藏 -
中文图书9.递归论丛书 012/1
馆藏复本:2
可借复本:2 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书10.数理逻辑教程 O141/20
馆藏复本:6
可借复本:5 莫绍揆著
华中工学院出版社 1982
(0) 馆藏 -
中文图书11.数理逻辑 O141/5
馆藏复本:5
可借复本:1 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书12.数理逻辑初步 O141/1
馆藏复本:4
可借复本:2 莫绍揆著
上海人民出版社 1980
(0) 馆藏