检索到 35 条 分类号=O141 主题=数理逻辑 馆藏地=自然科学第二书库（7F） 的结果
-
中文图书1.中国表示法及其逻辑研究 O141/461
馆藏复本：3
可借复本：3 杜国平著
中国社会科学出版社 2023
(0) 馆藏 -
中文图书2.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/441
馆藏复本：3
可借复本：3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书3.数理逻辑引论.第2版 O141/244/2
馆藏复本：3
可借复本：3 朱梧槚 ... [等] 编著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书4.烧脑的逻辑题:surprising and rewarding puzzles to sharpen your mind O141/734.2
馆藏复本：5
可借复本：4 (英) 亚历克斯·贝洛斯著
中信出版集团 2021
(0) 馆藏 -
中文图书5.数理逻辑引论:计算机科学与系统的天然基础 O141/046
馆藏复本：1
可借复本：1 刘志明, 裘宗燕编著
科学出版社 2022
(0) 馆藏 -
中文图书6.逻辑迷宫 O141/426.3
馆藏复本：3
可借复本：3 (美)雷蒙德·M.斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书7.形象、思维与推理:存在图逻辑:existential graph logic O141/240
馆藏复本：6
可借复本：4 程橙著
中国社会科学出版社 2022
(0) 馆藏 -
中文图书8.数理哲学导论.英文版 O141/650/2
馆藏复本：2
可借复本：2 (英) 罗素著
崇文书局 2022
(0) 馆藏 -
中文图书9.数理逻辑 O141/140
馆藏复本：2
可借复本：2 孙希文编著
高等教育出版社 2019
(0) 馆藏 -
中文图书10.数理逻辑入门 O141/426.2
馆藏复本：2
可借复本：2 (美) Raymond M. Smullyan著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书11.数理逻辑是什么 O141-49/464
馆藏复本：4
可借复本：4 (英) John N. Crossley等著
中国轻工业出版社 2018
(0) 馆藏 -
中文图书12.数学家用的数理逻辑教程.第2版 O141/730
馆藏复本：2
可借复本：2 Yu.I.Manin
世界图书出版有限公司北京分公司 2019
(0) 馆藏 -
中文图书13.数理逻辑.影印版 O141/4302
馆藏复本：2
可借复本：2 H.D. Ebbinghaus, J. Flum, W. Thomas
世界图书出版公司 2019
(0) 馆藏 -
中文图书14.迷人的逻辑题 O141/734
馆藏复本：3
可借复本：2 (美) 亚历克斯·贝洛斯著
中信出版集团股份有限公司 2018
(0) 馆藏 -
中文图书15.McCarthy函数和Ackermann函数 O141/0441
馆藏复本：3
可借复本：3 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏 -
中文图书16.数理逻辑十二讲 O141/308
馆藏复本：3
可借复本：3 宋方敏, 吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书17.数理逻辑导引 O141/310
馆藏复本：1
可借复本：1 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书18.数理逻辑基础.上册.[影印版] O141/442/2
馆藏复本：2
可借复本：2 胡世华, 陆钟万著
科学出版社 2015
(0) 馆藏 -
中文图书19.数理逻辑引论与归结原理.第2版 O141/162.2/2
馆藏复本：2
可借复本：2 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书20.数理逻辑教程.影印版 O141/720
馆藏复本：1
可借复本：1 John L. Bell, Moshe Machover
世界图书出版公司北京公司 2015
(0) 馆藏
