检索到 13 条 主题词=数理逻辑 的结果
-
中文图书1.数理逻辑基础教程 O141/13
馆藏复本：2
可借复本：0 张峰编著
清华大学出版社 2025
(0) 馆藏 -
中文图书2.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
馆藏复本：0
可借复本：0 (德)迈克尔·休斯(Michael Huth)，(英)马克·莱恩(Mark Ryan)著
机械工业出版社 2025
(0) 馆藏 -
中文图书3.中国表示法及其逻辑研究
馆藏复本：0
可借复本：0 杜国平著
中国社会科学出版社 2023
(0) 馆藏 -
中文图书4.数理逻辑的思想和方法
馆藏复本：0
可借复本：0 昂扬编著
上海人民出版社 2024
(0) 馆藏 -
中文图书5.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/12
馆藏复本：2
可借复本：0 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书6.数理逻辑引论.2版
馆藏复本：0
可借复本：0 朱梧槚等编著
大连理工大学出版社 2023.01
(0) 馆藏 -
中文图书7.从数学到哲学
馆藏复本：0
可借复本：0 (美) 王浩著
广西师范大学出版社 2024
(0) 馆藏 -
中文图书8.逻辑迷宫
馆藏复本：0
可借复本：0 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书9.逻辑迷宫
馆藏复本：0
可借复本：0 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书10.迷人的逻辑题 O14/6
馆藏复本：3
可借复本：3 (英) 亚历克斯·贝洛斯著
中信出版集团 2018.10
(0) 馆藏 -
中文图书11.烧脑的逻辑题:surprising and rewarding puzzles to sharpen your mind O141/7
馆藏复本：3
可借复本：3 (英)亚历克斯·贝洛斯(Alex Bellos)著
中信出版集团股份有限公司 2021
(0) 馆藏 -
中文图书12.数学逻辑与推理 O141/3
馆藏复本：8
可借复本：7 (英)约翰逊(D.A.Johnson),(美)泰勒(D.F.Taylor)著
科学出版社 1984
(0) 馆藏 -
中文图书13.数理逻辑 O141/1
馆藏复本：4
可借复本：3 张清宇主编
中国社会科学出版社 2010
(0) 馆藏
