检索到 63 条 题名=数理逻辑 的结果
-
中文图书21.数理逻辑:基本原理与形式演算.第2版 O141/450/2
馆藏复本：1
可借复本：0 李未著
科学出版社 2014
(0) 馆藏 -
中文图书22.数理逻辑 O141/116
馆藏复本：2
可借复本：2 张再跃, 张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书23.数理逻辑引论 O141/430
馆藏复本：3
可借复本：3 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书24.数理逻辑实验教程 O141/440
馆藏复本：5
可借复本：5 李娜编著
武汉大学出版社 2010
(0) 馆藏 -
中文图书25.数理逻辑.2版 O141/340/2
馆藏复本：5
可借复本：5 汪芳庭编著
中国科学技术大学出版社 2010
(0) 馆藏 -
中文图书26.数理逻辑 O141/1331
馆藏复本：5
可借复本：5 张清宇主编
中国社会科学出版社 2010
(0) 馆藏 -
中文图书27.数理逻辑与机器证明 O141/781
馆藏复本：14
可借复本：0 陆钟万著
科学出版社 1983.11
(0) 馆藏 -
中文图书28.数理逻辑:[英文本].[影印版] O141/433
馆藏复本：3
可借复本：3 H.-D. Ebbinghaus, J. Flum, W. Thomas[著]
世界图书出版公司 2008
(0) 馆藏 -
中文图书29.数理逻辑 O141/133
馆藏复本：5
可借复本：0 邢滔滔著
北京大学出版社 2008
(1) 馆藏 -
中文图书30.数理逻辑引论 O141/244
馆藏复本：5
可借复本：0 朱梧槚, 肖奚安编著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书31.数理逻辑:基本原理与形式演算 O141/450
馆藏复本：7
可借复本：0 李未著
科学出版社 2008
(0) 馆藏 -
中文图书32.数理逻辑引论 O141/197
馆藏复本：3
可借复本：0 马光胜编著
哈尔滨船舶工程学院出版社 1997.3
(0) 馆藏 -
中文图书33.数理逻辑引论 O141/138
馆藏复本：2
可借复本：0 王宪钧著
北京大学出版社 1982.6
(0) 馆藏 -
中文图书34.数理逻辑-第二版 O141/627
馆藏复本：5
可借复本：1 (美)恩德滕(HerbertB.Enderton)著
人民邮电出版社 2005.11
(1) 馆藏 -
中文图书35.数理逻辑的思想与方法 O14/440
馆藏复本：8
可借复本：0 李娜著
南开大学出版社 2006.4
(0) 馆藏 -
中文图书36.数理逻辑与集合论 O141/121/2
馆藏复本：5
可借复本：0 石纯一，王家廞编著
清华大学出版社 2000.12
(0) 馆藏 -
中文图书37.数理逻辑 O141/172
馆藏复本：2
可借复本：0 王兵山等编著
国防科技大学出版社 1993.12
(0) 馆藏 -
中文图书38.数理逻辑 O158/158
馆藏复本：5
可借复本：0 王捍贫编著
北京大学出版社 1997.12
(0) 馆藏 -
中文图书39.数理逻辑 O141/332
馆藏复本：3
可借复本：0 汉密尔顿著；朱水林译
华东师范大学出版社 1986.11
(0) 馆藏 -
中文图书40.数理逻辑通俗讲话 O141/130
馆藏复本：11
可借复本：0 王浩著
科学出版社 1981
(0) 馆藏
