检索到 31 条 主题词=数理逻辑 的结果
-
中文图书1.面向计算机科学的数理逻辑.2版 O141/35
馆藏复本：2
可借复本：2 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书2.数理逻辑教程 O141/50
馆藏复本：10
可借复本：10 陈慕泽著
上海人民出版社 2001
(0) 馆藏 -
中文图书3.Introduction to mathematical philosophy.影印版 O141/123
馆藏复本：1
可借复本：1 Bertrand Russell
崇文书局 2022.06
(0) 馆藏 -
中文图书4.数理哲学导论 O141/121
馆藏复本：3
可借复本：3 (英) 罗素著
商务印书馆 2017.08
(0) 馆藏 -
中文图书5.形象、思维与推理:存在图逻辑:existential graph logic O141/117
馆藏复本：3
可借复本：3 程橙著
中国社会科学出版社 2022.06
(0) 馆藏 -
中文图书6.A course in mathematical logic for mathematicians.影印版 O141/111
馆藏复本：2
可借复本：2 Yu.I. Manin
世界图书出版公司 2019
(0) 馆藏 -
中文图书7.数理逻辑通俗讲话 O141/51
馆藏复本：1
可借复本：1 王浩著
科学出版社 1981
(0) 馆藏 -
中文图书8.数学逻辑学概论 O141/78
馆藏复本：1
可借复本：1 郑君文,张恩华著
安徽教育出版社 1995
(0) 馆藏 -
中文图书9.现代西方哲学逻辑 B815/2
馆藏复本：2
可借复本：2 朱新民著
复旦大学出版社 1987.4
(0) 馆藏 -
中文图书10.现代逻辑引论 B81/110
馆藏复本：1
可借复本：1 朱水林著
上海人民出版社 1989.11
(0) 馆藏 -
中文图书11.数理逻辑的思想和方法 O141/46
馆藏复本：2
可借复本：2 李娜著
南开大学出版社 2006
(0) 馆藏 -
中文图书12.数理逻辑引论 O141/53
馆藏复本：3
可借复本：3 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书13.面向计算机科学的数理逻辑:modelling and reasoning about systems:系统建模与推理 O141/34
馆藏复本：5
可借复本：5 (德)Michael Huth，(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏 -
中文图书14.数理逻辑入门 O14/10
馆藏复本：2
可借复本：2 李锡胤编译
知识出版社 1984
(0) 馆藏 -
中文图书15.数理逻辑初步 O141/45
馆藏复本：12
可借复本：12 莫绍揆著
上海人民出版社 1980
(0) 馆藏 -
中文图书16.数学与猜想 第二卷:合情推理模式 O14/12
馆藏复本：2
可借复本：2 (美)G. 波利亚著
科学出版社 2001
(0) 馆藏 -
中文图书17.代数与数理逻辑:王世强文集 O15/28
馆藏复本：5
可借复本：5 李仲来主编
北京师范大学出版社 2007
(0) 馆藏 -
中文图书18.数理逻辑:英文版·第2版 O141/41
馆藏复本：4
可借复本：4 (美)恩德滕(Herbert B.Enderton)著
人民邮电出版社 2006
(0) 馆藏 -
中文图书19.数理逻辑:基本原理与形式演算 O141/42
馆藏复本：3
可借复本：3 李未著
科学出版社 2008
(0) 馆藏 -
中文图书20.数理逻辑基础 O141/47
馆藏复本：6
可借复本：6 胡世华、陆钟万著
科学出版社 1981
(0) 馆藏
