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

悖论简史 : 哲学和心灵的迷宫 / (英) 罗伊·索伦森著 : philosophy and the labyrinths of the mind

7.7
索取号：O144.2-09/20071
作者：索伦森、贾红雨、
出版社：北京 : 北京大学出版社, 2007

从惊讶到思考 : 数学悖论奇景

7.5
索取号：O144.2-49/20071
作者：韩雪涛、
出版社：长沙 : 湖南科学技术出版社, 2007

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

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

数学模型

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

心灵的嵌齿轮 : 维恩图的故事

7.2
索取号：O144-49/20111
作者：爱德华兹、吴俊、
出版社：上海 : 上海科技教育出版社, 2008

应用逻辑

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

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

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

有趣的悖论和佯谬

7
索取号：O144.2-49/20081
作者：黄儒经、吴晓兰、
出版社：北京 : 东方出版社, 2008

数学模型讲义

7
索取号：O141.4/20001
作者：雷功炎、
出版社：北京 : 北京大学出版社, 1999

面向计算机科学的数理逻辑 : 系统建模与推理 : modelling and reasoning about systems

6.4
索取号：O141/20081
作者：胡特、瑞安、何伟、樊磊、
出版社：北京 : 机械工业出版社, 2007

Intuitionism an introduction

0
索取号：O143/E602
作者：Heyting、 A. (Arend)、 1898-、
出版社：Amsterdam : North-Hollan Pub. Co., 1956.

Naive set theory

0
索取号：O144/E20091-2
作者：Halmos、 Paul R. (Paul Richard)、 1916-2006.、
出版社：New Delhi : Affiliated East-West Press, 1972

数学建模基础案例

0
索取号：O141.4/20102.2
作者：杜建卫、王若鹏、
出版社：北京 : 化学工业出版社, 2014

悖论研究 : magic cubes for thinking

0
索取号：O144.2/20143
作者：陈波、
出版社：北京 : 北京大学出版社, 2014

思维魔方 : 让哲学家和数学家纠结的悖论

0
索取号：O144.2/20142
作者：陈波、
出版社：北京 : 北京大学出版社, 2014

Problems in Euclidean space : application of convexity

0
索取号：O141.3/E602
作者：Eggleston、 Harold Gordon、 1921-、
出版社：New York : Pergamon Press, 1957.