检索到 9 条 题名=数理逻辑 馆藏地=中文书库（未知馆藏） 的结果
-
中文图书1.数理逻辑与机器证明 O141/781
馆藏复本：14
可借复本：0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书2.数理逻辑与集合论 O141/121
馆藏复本：6
可借复本：0 石纯一，王家等著
清华大学出版社 1990.2
(0) 馆藏 -
中文图书3.数理逻辑基础∶Ｖ2 O141/442*1
馆藏复本：3
可借复本：0 胡世华，陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书4.数理逻辑通俗讲话 O141/130
馆藏复本：11
可借复本：0 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书5.数理逻辑教程 O141/425.2
馆藏复本：13
可借复本：0 莫绍揆著
华中工学院出版社 1982.12
(0) 馆藏 -
中文图书6.数理逻辑基础∶Ｖ1 O141/442
馆藏复本：7
可借复本：1 胡世华，陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书7.数理逻辑与控制论 O231/864
馆藏复本：2
可借复本：0 复旦大学数学系编
上海科学技术出版社 1960
(0) 馆藏 -
中文图书8.数理逻辑 O141/340
馆藏复本：3
可借复本：0 汪芳庭编著
中国科学技术大学出版社 1990.9
(0) 馆藏 -
中文图书9.数理逻辑初步 O141/425
馆藏复本：3
可借复本：0 莫绍揆
上海人民出版社 1980
(0) 馆藏
