检索到 41 条 主题词=数理逻辑 的结果
-
中文图书1.逻辑迷宫 O141-49/S523
馆藏复本：3
可借复本：3 (美) 雷蒙德·M.斯穆里安著
新星出版社 2023.01
(0) 馆藏 -
中文图书2.数理逻辑引论:计算机科学与系统的天然基础 O141/L984
馆藏复本：6
可借复本：6 刘志明, 裘宗燕编著
科学出版社 2022.10
(0) 馆藏 -
中文图书3.形象、思维与推理:存在图逻辑:existential graph logic O141/C216
馆藏复本：3
可借复本：3 程橙著
中国社会科学出版社 2022
(0) 馆藏 -
中文图书4.简明数理逻辑 O141/Z892
馆藏复本：3
可借复本：3 赵希顺编著
科学出版社 2021.11
(0) 馆藏 -
中文图书5.罗素的逻辑与哲学探究 B561.54/Z423
馆藏复本：1
可借复本：1 张家龙著
中国社会科学出版社 2021.08
(0) 馆藏 -
中文图书6.数学建模 O22/B332/1, O22/B332/2
馆藏复本：20
可借复本：20 白凤山等编著
哈尔滨工业大学出版社 2003
(1) 馆藏 -
中文图书7.数理逻辑与集合论(第二版)精要与题解.第2版 O141/W386B
馆藏复本：15
可借复本：15 王宏, 杨明编著
清华大学出版社 2001
(0) 馆藏 -
中文图书8.数理逻辑与集合论.第2版 O141/S237B
馆藏复本：13
可借复本：13 石纯一, 王家〓编著
清华大学出版社 2000
(0) 馆藏 -
中文图书9.数理逻辑 O141/Y435
馆藏复本：3
可借复本：3 余俊伟 ... [等] 著
中国人民大学出版社 2020
(0) 馆藏 -
中文图书10.数理逻辑基础.上册 O141/H749/1, 51.3/114
馆藏复本：10
可借复本：10 胡世华, 陆钟万著
科学出版社 1981～1982
(0) 馆藏 -
中文图书11.数理逻辑.影印版 O141/A149
馆藏复本：5
可借复本：5 埃宾豪斯
世界图书出版有限公司北京分公司 2019.03
(0) 馆藏 -
中文图书12.数理逻辑概貌 O141/M752
馆藏复本：2
可借复本：2 莫绍揆著
科学技术文献出版社 1989
(0) 馆藏 -
中文图书13.数理逻辑 O141/S895
馆藏复本：3
可借复本：3 孙希文编著
高等教育出版社 2019
(0) 馆藏 -
中文图书14.计算机、逻辑和集合论 TP301.6/X759
馆藏复本：1
可借复本：1 徐书润，胡国定编著
科学出版社 1998
(0) 馆藏 -
中文图书15.面向计算机科学的数理逻辑 O141/L995
馆藏复本：2
可借复本：2 陆钟万著
北京大学出版社 1989
(0) 馆藏 -
中文图书16.数学家用的数理逻辑教程 O141/M549
馆藏复本：2
可借复本：2 Yu. I. Manin [著]
世界图书出版有限公司北京分公司 2019.02
(0) 馆藏 -
中文图书17.数理逻辑十二讲 O141/S324
馆藏复本：3
可借复本：3 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书18.McCarthy函数和Ackermann函数 O-51/W952/31
馆藏复本：2
可借复本：2 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏 -
中文图书19.符号逻辑:语法、语义和证明 O141/A353
馆藏复本：3
可借复本：3 (美) 大卫·W. 安格勒著
科学出版社 2016
(0) 馆藏 -
中文图书20.数理逻辑 O141/X793
馆藏复本：5
可借复本：5 邢滔滔著
北京大学出版社 2008.08
(0) 馆藏
