大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑)(分类号：O141)(共270本)

分类依据：参见B815,O211.

数理逻辑

9.6
索取号：O141/921
作者：汪芳庭、
出版社：合肥 : 中国科学技术大学出版社, 1990.9

哥德尔证明 / (美) 欧内斯特·内格尔, 詹姆士·R·纽曼著

9.2
索取号：O141/20091
作者：内格尔、纽曼、陈东威、连永君、
出版社：北京 : 中国人民大学出版社, 2008

符号逻辑讲义

9
索取号：O141/20103
作者：徐明、
出版社：武汉 : 武汉大学出版社, 2008

数理逻辑 : 基本原理与形式演算

8.7
索取号：O141/20082
作者：李未、
出版社：北京 : 科学出版社, 2008

不完备性 : 哥德尔的证明和悖论 : the proof and paradox of Kurt Godel

8.3
索取号：O141-49/20091
作者：戈尔茨坦、唐璐、
出版社：长沙 : 湖南科学技术出版社, 2008

数学建模方法与分析

8.3
索取号：O141.4/20055
作者：米尔斯切特、 M. M.、刘来福、杨淳、黄海洋、
出版社：北京 : 机械工业出版社, 2005

一阶逻辑与一阶理论

8.2
索取号：O141/20072
作者：叶峰 (哲学)、
出版社：北京 : 中国社会科学出版社, 1994

数理逻辑

8.2
索取号：O141/20075
作者：恩德托恩、沈复兴、陈磊、孙运传、
出版社：北京 : 人民邮电出版社, 2007

数学建模

8.2
索取号：O141.4/20053
作者：乔达诺、 F. R.、韦尔、 M. D.、福克斯、 W. P.、叶其孝、姜启源、
出版社：北京 : 机械工业出版社, 2005

数学证明之美 / (英) 博卡德·波斯特著

8
索取号：O141.2-49/20121
作者：波斯特、贺俊杰、铁红玲、
出版社：长沙 : 湖南科学技术出版社, 2012

《数学模型(第三版)》习题参考解答

8
索取号：O141.4/20037
作者：姜启源、谢金星、叶俊、
出版社：北京 : 高等教育出版社, 2003

数理逻辑

7.8
索取号：O141/20095
作者：邢滔滔、
出版社：北京 : 北京大学出版社, 2008

数理逻辑基础 : 一阶逻辑与一阶理论

7.4
索取号：O141/20062
作者：陈慕泽、余俊伟、
出版社：北京 : 中国人民大学出版社, 2003

数学模型

7.3
索取号：O141.4/20054
作者：谭永基、蔡志杰、俞文[ji]、
出版社：上海 : 复旦大学出版社, 2005

应用逻辑

7.2
索取号：O141/20083
作者：尼罗德、肖尔、丁德成、徐亚涛、吴永成、
出版社：北京 : 机械工业出版社, 2007

从前有个数 : 故事中的数学逻辑

7.1
索取号：O141-49/20071
作者：保罗斯、史树中、
出版社：上海 : 上海科学技术出版社, 2006