检索到 41 条 分类号=O141 主题=数理逻辑 的结果
-
中文图书21.数理逻辑引论与归结原理.第2版 O141/162.2/2
馆藏复本：2
可借复本：2 王国俊著
科学出版社 2006
(0) 馆藏 -
中文图书22.数理逻辑教程.影印版 O141/720
馆藏复本：1
可借复本：1 John L. Bell, Moshe Machover
世界图书出版公司北京公司 2015
(0) 馆藏 -
中文图书23.数理逻辑的思想与方法.第2版 O141/440.2
馆藏复本：2
可借复本：2 李娜编著
南开大学出版社 2016
(0) 馆藏 -
中文图书24.对偶三角模－三角余模逻辑及推理 O141/094
馆藏复本：2
可借复本：2 张兴芳著
科学出版社 2015
(0) 馆藏 -
中文图书25.数理逻辑:证明及其限度 O141/4331
馆藏复本：3
可借复本：3 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2014
(0) 馆藏 -
中文图书26.数理逻辑入门 O141/482/2
馆藏复本：2
可借复本：2 李锡胤编
黑龙江大学出版社 2013
(0) 馆藏 -
中文图书27.数理逻辑 O141/116
馆藏复本：2
可借复本：2 张再跃, 张晓如编著
清华大学出版社 2013
(0) 馆藏 -
中文图书28.麦卡锡函数和阿克曼函数:从一道前南斯拉夫数学奥林匹克试题谈起 O141/044
馆藏复本：3
可借复本：3 刘培杰, 康大臣编著
哈尔滨工业大学出版社 2012
(0) 馆藏 -
中文图书29.几何与数理逻辑:汤璪真文集 O18-53/425
馆藏复本：5
可借复本：5 李仲来主编
北京师范大学出版社 2007
(0) 馆藏 -
中文图书30.数理逻辑引论 O141/430
馆藏复本：3
可借复本：3 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2011
(0) 馆藏 -
中文图书31.计算理论与符号逻辑 TP301/191
馆藏复本：3
可借复本：2 张兴元, 王元元, 宋丽华编著
科学出版社 2011
(0) 馆藏 -
中文图书32.数理逻辑实验教程 O141/440
馆藏复本：5
可借复本：5 李娜编著
武汉大学出版社 2010
(0) 馆藏 -
中文图书33.相识数学逻辑 O141/453
馆藏复本：5
可借复本：5 黄忠裕，赵焕光著
科学出版社 2010
(0) 馆藏 -
中文图书34.数理逻辑.2版 O141/340/2
馆藏复本：5
可借复本：5 汪芳庭编著
中国科学技术大学出版社 2010
(0) 馆藏 -
中文图书35.数理逻辑 O141/1331
馆藏复本：5
可借复本：5 张清宇主编
中国社会科学出版社 2010
(0) 馆藏 -
中文图书36.数理逻辑:[英文本].[影印版] O141/433
馆藏复本：3
可借复本：3 H.-D. Ebbinghaus, J. Flum, W. Thomas[著]
世界图书出版公司 2008
(0) 馆藏 -
中文图书37.面向计算机科学的数理逻辑:系统建模与推理 O141/640
馆藏复本：5
可借复本：1 (德)Michael Huth，(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏 -
中文图书38.半符号逻辑:传统逻辑与符号逻辑的桥梁 O141/111
馆藏复本：5
可借复本：1 张霭珠著
复旦大学出版社 2004.12
(0) 馆藏 -
中文图书39.数理逻辑 O141/232
馆藏复本：8
可借复本：3 毕富生著
高等教育出版社 2004.1
(0) 馆藏 -
中文图书40.面向计算机科学的数理逻辑:系统建模与推理-第2版 O141/460
馆藏复本：3
可借复本：3 (英)胡思(Michael Huth，(英)Mark Ryan著
机械工业出版社 2005.4
(0) 馆藏
