检索到 49 条 主题词=数理逻辑 的结果
-
中文图书1.故事背后的数学逻辑 O141/41
馆藏复本：2
可借复本：2 (美)约翰·阿伦·保罗斯著
上海科学技术出版社 2023
(0) 馆藏 -
中文图书2.逻辑迷宫 O141/40
馆藏复本：2
可借复本：2 (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著
新星出版社 2023
(0) 馆藏 -
中文图书3.烧脑的逻辑题:surprising and rewarding puzzles to sharpen your mind O141/38
馆藏复本：2
可借复本：2 (英)亚历克斯·贝洛斯(Alex Bellos)著
中信出版集团股份有限公司 2021
(0) 馆藏 -
中文图书4.数理逻辑:证明及其限度.2版 O141/30-2
馆藏复本：2
可借复本：2 郝兆宽，杨睿之，杨跃著
复旦大学出版社有限公司 2020
(0) 馆藏 -
中文图书5.数理逻辑入门 O141/37
馆藏复本：2
可借复本：1 (美)Raymond M. Smullyan著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书6.迷人的逻辑题 O141/36
馆藏复本：2
可借复本：2 (英)亚历克斯·贝洛斯(Alex Bellos)著
中信出版集团股份有限公司 2018
(0) 馆藏 -
中文图书7.数理逻辑是什么 O141/35
馆藏复本：2
可借复本：2 (英)John N. Crossley等著
中国轻工业出版社 2018.12
(0) 馆藏 -
中文图书8.现代西方哲学逻辑 O141/DX4
馆藏复本：1
可借复本：1 朱新民著
复旦大学出版社 1987.4
(0) 馆藏 -
中文图书9.现代逻辑学 O141/DX2
馆藏复本：1
可借复本：1 李树琦等著
重庆出版社 1989.7
(0) 馆藏 -
中文图书10.数理逻辑入门 O141/11, O141/DX6
馆藏复本：3
可借复本：2 李锡胤编译
知识出版社 1984
(0) 馆藏 -
中文图书11.作为哲学的数理逻辑 O141/33
馆藏复本：2
可借复本：2 杨睿之著
复旦大学出版社有限公司 2016
(0) 馆藏 -
中文图书12.数理哲学导论 C51/60:455
馆藏复本：1
可借复本：1 (英)罗素著
商务印书馆 2011
(0) 馆藏 -
中文图书13.逻辑与演绎科学方法论导论 C51/60:391
馆藏复本：1
可借复本：1 (波)塔尔斯基著
商务印书馆 2011
(0) 馆藏 -
中文图书14.逻辑悖论研究引论.修订本 O144/31
馆藏复本：2
可借复本：2 张建军著
人民出版社 2014
(0) 馆藏 -
中文图书15.对偶三角模－三角余模逻辑及推理 O141/31
馆藏复本：1
可借复本：1 张兴芳著
科学出版社 2015
(0) 馆藏 -
中文图书16.数理逻辑:证明及其限度 O141/30
馆藏复本：1
可借复本：1 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2014
(0) 馆藏 -
中文图书17.数理逻辑:基本原理与形式演算.2版 O141/24-2
馆藏复本：2
可借复本：2 李未著
科学出版社 2014
(0) 馆藏 -
中文图书18.数学无穷与中介的逻辑基础 O141/29
馆藏复本：1
可借复本：1 朱梧槚著
科学出版社 2012
(0) 馆藏 -
中文图书19.错误系统 O14/12
馆藏复本：2
可借复本：1 郭开仲著
科学出版社 2012
(0) 馆藏 -
中文图书20.相识数学逻辑 O141/27
馆藏复本：2
可借复本：1 黄忠裕，赵焕光著
科学出版社 2010
(0) 馆藏
