检索到 53 条 主题词=数理逻辑 的结果
-
中文图书1.从数学到哲学 O141/59
馆藏复本：1
可借复本：1 (美) 王浩著
广西师范大学出版社 2024.5
(0) 馆藏 -
中文图书2.烧脑的逻辑题 O141/56
馆藏复本：1
可借复本：1 (英) 亚历克斯·贝洛斯著
中信出版社 2021.3
(0) 馆藏 -
中文图书3.数理哲学导论 Z1/231
馆藏复本：2
可借复本：2 (英)罗素著
商务印书馆 2017
(0) 馆藏 -
中文图书4.数理逻辑是什么 O141/53
馆藏复本：1
可借复本：1 (英)John N. Crossley等著
中国轻工业出版社 2018.12
(0) 馆藏 -
中文图书5.数理逻辑导引 O141/51
馆藏复本：1
可借复本：1 冯琦编著
科学出版社 2017.9
(0) 馆藏 -
中文图书6.作为哲学的数理逻辑 O141/50
馆藏复本：1
可借复本：1 杨睿之著
复旦大学出版社 2016.11
(0) 馆藏 -
中文图书7.Fermat's Last Theorem证明并7进复平面数阵求解素数 O141/49
馆藏复本：1
可借复本：1 谭仕芬著
延边大学出版社 2017.01
(0) 馆藏 -
中文图书8.符号逻辑:语法、语义和证明 O141/46
馆藏复本：1
可借复本：1 (美) 大卫?W. 安格勒著
科学出版社 2016.4
(0) 馆藏 -
中文图书9.中学数学中的逻辑问题 G633.6/383
馆藏复本：1
可借复本：1 崔成文编
河南教育出版社 1989
(0) 馆藏 -
中文图书10.数理逻辑初步 O141/28
馆藏复本：3
可借复本：1 莫绍揆著
上海人民出版社 1980
(0) 馆藏 -
中文图书11.有趣的数理逻辑 O141/45
馆藏复本：1
可借复本：1 何普恒编
上海人民出版社 1984
(0) 馆藏 -
中文图书12.非经典数理逻辑与近似推理.第2版 O141/42=2
馆藏复本：1
可借复本：1 王国俊著
科学出版社 2008
(0) 馆藏 -
中文图书13.数理逻辑入门 O141/10
馆藏复本：5
可借复本：1 李锡胤编译
知识出版社 1984
(0) 馆藏 -
中文图书14.集合与简易逻辑 G634/547:5
馆藏复本：1
可借复本：0 高华文编著
湖北教育出版社 2002
(0) 馆藏 -
中文图书15.数学基础研究三十年:1930至1964年数理逻辑和数学基础研究发展状况讲演录 O143/9
馆藏复本：1
可借复本：0 (波) 安德热依·莫斯托夫斯基(A.Mostowski)著
华中工学院出版社 1983
(0) 馆藏 -
中文图书16.数理逻辑 O141/40
馆藏复本：3
可借复本：1 莫绍揆等著
高等教育出版社 1984
(0) 馆藏 -
中文图书17.归纳 递归 迭代 O1/551
馆藏复本：2
可借复本：0 吴之季等编著
人民教育出版社 1990.3
(0) 馆藏 -
中文图书18.否定中的肯定:逻辑的故事 O1-49/38
馆藏复本：2
可借复本：0 张远南著
上海科学普及出版社 1989.2
(0) 馆藏 -
中文图书19.数理逻辑导引 O141/35
馆藏复本：3
可借复本：0 张尚水著
中国社会科学出版社 1990.4
(0) 馆藏 -
中文图书20.否定中的肯定:逻辑的故事 O1-49/37
馆藏复本：3
可借复本：0 张远南著
上海科学普及出版社 1989.2
(0) 馆藏
