检索到 23 条 题名=数理逻辑 馆藏地=文一密集（批次1）（非可借） 的结果
-
中文图书1.数理逻辑与机器证明 O141/781
馆藏复本：14
可借复本：0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书2.数理逻辑与集合论 O141/121
馆藏复本：6
可借复本：0 石纯一，王家等著
清华大学出版社 1990.2
(0) 馆藏 -
中文图书3.数理逻辑与集论 O141/776
馆藏复本：2
可借复本：0 陈颐昌编著
万里书店有限公司 1977.3
(0) 馆藏 -
中文图书4.数理逻辑基础∶Ｖ2 O141/442*1
馆藏复本：3
可借复本：0 胡世华，陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书5.数理逻辑、集合 O14/722
馆藏复本：5
可借复本：0 邱伟德，胡美琛编著
人民邮电出版社 1987.12
(0) 馆藏 -
中文图书6.数理逻辑
馆藏复本：20
可借复本：0 莫绍揆等编
高等教育出版社 1984.7
(0) 馆藏 -
中文图书7.数理逻辑 O141/818
馆藏复本：8
可借复本：0 俞瑞钊编著
浙江大学出版社 1990.11
(0) 馆藏 -
中文图书8.数理逻辑初步 O141/425
馆藏复本：3
可借复本：0 莫绍揆
上海人民出版社 1980
(0) 馆藏 -
中文图书9.数理逻辑发展史：从莱布尼茨到哥德尔 O141/134
馆藏复本：2
可借复本：0 张家龙著
社会科学文献出版社 1993.8
(0) 馆藏 -
中文图书10.数理逻辑基础 O141/424
馆藏复本：3
可借复本：0 （德）希尔柏脱，（德）克曼合著；莫绍揆译
科学出版社 1959
(0) 馆藏 -
中文图书11.数理逻辑引论 O141/197
馆藏复本：3
可借复本：0 马光胜编著
哈尔滨船舶工程学院出版社 1997.3
(0) 馆藏 -
中文图书12.数理逻辑概貌 O141/425.5
馆藏复本：3
可借复本：0 莫绍揆著
科学技术文献出版社 1989.3
(0) 馆藏 -
中文图书13.数理逻辑入门 O141/482
馆藏复本：3
可借复本：0 李锡胤编译
知识出版社 1984.5
(0) 馆藏 -
中文图书14.数理逻辑基础∶Ｖ1 O141/442
馆藏复本：7
可借复本：1 胡世华，陆钟万合著
科学出版社 1981
(0) 馆藏 -
中文图书15.数理逻辑与控制论 O231/864
馆藏复本：2
可借复本：0 复旦大学数学系编
上海科学技术出版社 1960
(0) 馆藏 -
中文图书16.数理逻辑的思想和方法 O141/6501
馆藏复本：3
可借复本：0 昂扬编著
复旦大学出版社 1991.9
(0) 馆藏 -
中文图书17.数理逻辑通俗讲话 O141/130
馆藏复本：11
可借复本：0 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书18.数理逻辑 O141/332
馆藏复本：3
可借复本：0 汉密尔顿著；朱水林译
华东师范大学出版社 1986.11
(0) 馆藏 -
中文图书19.数理逻辑 O158/158
馆藏复本：5
可借复本：0 王捍贫编著
北京大学出版社 1997.12
(0) 馆藏 -
中文图书20.数理逻辑 O141/172
馆藏复本：2
可借复本：0 王兵山等编著
国防科技大学出版社 1993.12
(0) 馆藏
