大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础(分类号：O14)(共382本)

数理逻辑

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

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

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

符号逻辑讲义

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

数学与猜想. 第二卷. , 合情推理模式

9
索取号：O14/842/2
作者：波利亚、 G.、李心灿、
出版社：北京 : 科学出版社, 1984

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

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

公理集合论导引

8.6
索取号：O144/921
作者：
出版社：北京 : 科学出版社, 1991

不完备性 : 哥德尔的证明和悖论 : 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
索取号：O144.2/20081
作者：韩雪涛、
出版社：长沙 : 湖南科学技术出版社, 2006

数学建模

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

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

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

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

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

绝妙推理 : 射雕英雄悖论传奇

7.9
索取号：O144.2-49/20091
作者：李大强、
出版社：北京 : 北京理工大学出版社, 2008

数理逻辑

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