检索到 87 条 主题词=数理逻辑 的结果
-
中文图书1.有趣的数理逻辑 O141-49/2189
馆藏复本：5
可借复本：4 何普恒著
上海人民出版社 1984
(0) 馆藏 -
中文图书2.形象、思维与推理:存在图逻辑:existential graph logic O141/2642
馆藏复本：3
可借复本：3 程橙著
中国社会科学出版社 2022
(0) 馆藏 -
中文图书3.算理哲学 O141/6050
馆藏复本：2
可借复本：0 罗素著
商务印书馆发行 1933
(0) 馆藏 -
中文图书4.哥德尔、艾舍尔、巴赫:集异璧之大成 B712.59/2743/ 1
馆藏复本：1
可借复本：0 (美) 侯世达著
商务印书馆 2021
(0) 馆藏 -
中文图书5.数理逻辑:证明及其限度.第2版 O141/4733/ -2
馆藏复本：2
可借复本：2 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2020
(0) 馆藏 -
中文图书6.数理逻辑是什么 O141-49/2748
馆藏复本：3
可借复本：3 (英) John N. Crossley等著
中国轻工业出版社 2018
(0) 馆藏 -
中文图书7.悖论、逻辑与非Cantor集合论 O144.2/1285
馆藏复本：2
可借复本：2 张金成著
哈尔滨工业大学出版社 2018
(0) 馆藏 -
中文图书8.信息学、语言学、数学与逻辑一本通 G201/3144
馆藏复本：3
可借复本：3 主编汪长喜
哈尔滨工业大学出版社 2018-
(0) 馆藏 -
中文图书9.作为哲学的数理逻辑 O141/4723
馆藏复本：2
可借复本：2 杨睿之著
复旦大学出版社 2016
(0) 馆藏 -
中文图书10.数理逻辑十二讲 O141/3008
馆藏复本：2
可借复本：2 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书11.数理逻辑导引 O141/3714
馆藏复本：1
可借复本：1 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书12.计算机科学中的逻辑学 TP31/1011/ 1
馆藏复本：4
可借复本：3 王元元编著
科学出版社 1989
(0) 馆藏 -
中文图书13.吴允曾选集:数理逻辑与计算机科学 TP3-05/0050
馆藏复本：2
可借复本：1 吴允曾著
北京科学技术出版社 1991
(0) 馆藏 -
中文图书14.概率真度 O141/1016
馆藏复本：2
可借复本：2 于西昌著
山东人民出版社 2016
(0) 馆藏 -
中文图书15.符号逻辑:语法、语义和证明 O141/0635
馆藏复本：2
可借复本：2 (美) 大卫·W. 安格勒著
科学出版社 2016
(0) 馆藏 -
中文图书16.数理逻辑引论 B813/1038
馆藏复本：9
可借复本：7 王宪钧著
北京大学出版社 1982
(0) 馆藏 -
中文图书17.数理逻辑引论 O141/2544
馆藏复本：2
可借复本：1 朱梧槚, 肖奚安编著
南京大学出版社 1995
(0) 馆藏 -
中文图书18.数理逻辑的思想和方法 O141/6047
馆藏复本：3
可借复本：2 昂扬编著
复旦大学出版社 1991
(0) 馆藏 -
中文图书19.数理逻辑 O141/4425/ 1
馆藏复本：13
可借复本：12 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书20.数理逻辑与机器证明 O141/7581/ 1
馆藏复本：5
可借复本：4 陆钟万著
科学出版社 1983
(0) 馆藏
