检索到 28 条 分类号=O1 主题=数理逻辑 的结果
-
中文图书1.逻辑迷宫 O141/27
馆藏复本：1
可借复本：1 (美) 雷蒙德·M. 斯穆里安著
新星出版社 2023
(0) 馆藏 -
中文图书2.形象、思维与推理:存在图逻辑:existential graph logic O141/26
馆藏复本：1
可借复本：1 程橙著
中国社会科学出版社 2022
(0) 馆藏 -
中文图书3.简明数理逻辑 O141/25
馆藏复本：1
可借复本：1 赵希顺编著
科学出版社 2021
(0) 馆藏 -
中文图书4.数理逻辑引论 O141/10
馆藏复本：0
可借复本：0 朱梧?，肖奚安编著
大连理工大学出版社 2008
(0) 馆藏 -
中文图书5.信息、智能与逻辑.第二卷,智能科学的逻辑基础研究.2,The logical basic research of intelligence science O141-53/2/2.1, O141-53/2/2.2, O141-53...
馆藏复本：0
可借复本：0 何华灿主编
西北工业大学出版社 2010
(0) 馆藏 -
中文图书6.数理逻辑实验教程 O141/19
馆藏复本：0
可借复本：0 李娜编著
武汉大学出版社 2010
(0) 馆藏 -
中文图书7.胡世华文集 O141-53/1
馆藏复本：0
可借复本：0 胡世华著
科学出版社 2008
(0) 馆藏 -
中文图书8.数理逻辑基础与粒计算 O141/8
馆藏复本：0
可借复本：0 闫林著
科学出版社 2007
(0) 馆藏 -
中文图书9.代数与数理逻辑:王世强文集 O15-53/2
馆藏复本：0
可借复本：0 李仲来主编
北京师范大学出版社 2005
(0) 馆藏 -
中文图书10.面向计算机科学的数理逻辑.2版 O141/21
馆藏复本：3
可借复本：3 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书11.数理逻辑入门 O141/20
馆藏复本：1
可借复本：1 (美)Raymond M. Smullyan著
中国轻工业出版社 2019
(0) 馆藏 -
中文图书12.A course in mathematical logic for mathematicians.影印版 O141/19
馆藏复本：1
可借复本：1 Yu.I. Manin著
世界图书出版有限公司北京分公司 2019
(0) 馆藏 -
中文图书13.数理逻辑十二讲 O141/18
馆藏复本：2
可借复本：1 宋方敏，吴骏编著
机械工业出版社 2018
(0) 馆藏 -
中文图书14.作为哲学的数理逻辑 O141/16
馆藏复本：2
可借复本：2 杨睿之著
复旦大学出版社有限公司 2016
(0) 馆藏 -
中文图书15.数理逻辑 O141-43/1
馆藏复本：1
可借复本：1 张再跃，张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书16.数理逻辑的思想与方法 O141/14
馆藏复本：2
可借复本：2 李娜著
南开大学出版社 2012
(0) 馆藏 -
中文图书17.错误系统 O14/4
馆藏复本：2
可借复本：2 郭开仲著
科学出版社 2012
(0) 馆藏 -
中文图书18.数理逻辑实验教程 O141/12
馆藏复本：2
可借复本：2 李娜编著
武汉大学出版社 2010
(0) 馆藏 -
中文图书19.相识数学逻辑 O141/11
馆藏复本：2
可借复本：2 黄忠裕，赵焕光著
科学出版社 2010
(0) 馆藏 -
中文图书20.逻辑与演绎科学方法论导论 O141/10
馆藏复本：1
可借复本：1 (波)塔尔斯基(Afred Tarski)著
商务印书馆 2009
(0) 馆藏
