检索到 31 条 主题词=数理逻辑 的结果
-
中文图书1.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems O141/21
馆藏复本：3
可借复本：3 (德) 迈克尔·休斯, (英) 马克·莱恩著
机械工业出版社 2025
(0) 馆藏 -
中文图书2.数理逻辑引论:计算机科学与系统的天然基础 O141/19
馆藏复本：3
可借复本：3 刘志明, 裘宗燕编著
科学出版社 2022
(0) 馆藏 -
中文图书3.从数学到哲学 O141/20
馆藏复本：3
可借复本：3 (美) 王浩著
广西师范大学出版社 2024
(0) 馆藏 -
中文图书4.数理逻辑和算法理论:计算机科学与人工智能的数学基础 O141/17
馆藏复本：3
可借复本：3 袁相碗编著
中国铁道出版社有限公司 2023
(0) 馆藏 -
中文图书5.数理逻辑引论.第2版 O141/15=2
馆藏复本：3
可借复本：3 朱梧槚 ... [等] 编著
大连理工大学出版社 2023
(0) 馆藏 -
中文图书6.烧脑的逻辑题:surprising and rewarding puzzles to sharpen your mind O141/16
馆藏复本：3
可借复本：3 (英) 亚历克斯·贝洛斯著
中信出版集团 2021
(0) 馆藏 -
中文图书7.逻辑迷宫 O141/14
馆藏复本：3
可借复本：3 (美) 雷蒙德·M. 斯穆里安著
新星出版社 2023
(0) 馆藏 -
中文图书8.数理逻辑 O141/12
馆藏复本：3
可借复本：3 余俊伟 ... [等] 著
中国人民大学出版社 2020
(0) 馆藏 -
中文图书9.数理逻辑:证明及其限度.第2版 O141/13=2
馆藏复本：3
可借复本：3 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2021
(0) 馆藏 -
中文图书10.罗素的逻辑与哲学探究 B561.54/22
馆藏复本：3
可借复本：3 张家龙著
中国社会科学出版社 2021
(0) 馆藏 -
中文图书11.迷人的逻辑题 O14/7
馆藏复本：3
可借复本：3 (英) 亚历克斯·贝洛斯著
中信出版集团 2018
(0) 馆藏 -
中文图书12.罗素文集,数理哲学导论 B561.54-52/1:3
馆藏复本：3
可借复本：3 晏成书译
商务印书馆 2012
(0) 馆藏 -
中文图书13.数理哲学导论 O141/10
馆藏复本：3
可借复本：3 (英) 罗素著
商务印书馆 2017
(0) 馆藏 -
中文图书14.哥德尔、艾舍尔、巴赫:集异璧之大成 TP1/3
馆藏复本：3
可借复本：3 (美)侯世达著
商务印书馆 1996
(0) 馆藏 -
中文图书15.数理逻辑及其应用 O141/1
馆藏复本：3
可借复本：3 朱保平编
北京理工大学出版社 1998
(0) 馆藏 -
中文图书16.不完备性:哥德尔的证明和悖论:the proof and paradox of Kurt Godel O141-49/1
馆藏复本：3
可借复本：3 (美) 丽贝卡·戈德斯坦著
湖南科学技术出版社 2008
(0) 馆藏 -
中文图书17.信息、智能和逻辑 TP18-532/2:1
馆藏复本：3
可借复本：3 何华灿, 马盈仓主编
西北工业大学出版社 2008
(0) 馆藏 -
中文图书18.符号逻辑讲义 O141-43/2
馆藏复本：3
可借复本：2 徐明编
武汉大学出版社 2008
(0) 馆藏 -
中文图书19.哥德尔证明 O141/9
馆藏复本：4
可借复本：4 (美) 欧内斯特·内格尔, 詹姆士·R·纽曼著
中国人民大学出版社 2008
(0) 馆藏 -
中文图书20.数理逻辑引论 O141/8
馆藏复本：3
可借复本：3 马光胜编著
哈尔滨工程大学出版社 1997
(0) 馆藏
