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

分类依据：参见B815,O211.

全国大学生数学建模竞赛赛题与优秀论文评析

0
索取号：O141.4/201210
作者：姚泽清、郑旭东、赵颖、
出版社：北京 : 国防工业出版社, 2012

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

0
索取号：O141/E20131
作者：Hedman、 Shawn.、
出版社：Oxford ; New York : Oxford University Press, c2004.

数学建模

0
索取号：O141.4/201310
作者：连坡、
出版社：北京 : 中国农业出版社, 2011

数学模型

0
索取号：O141.4/20128
作者：单锋、朱丽梅、田贺民、
出版社：北京 : 国防工业出版社, 2012

数学建模竞赛优秀论文精选与点评

0
索取号：O141.4-53/20122
作者：肖华勇、
出版社：西安 : 西北工业大学出版社, 2011

模型论及其在计算机科学中的应用

0
索取号：O141.4/20127
作者：罗里波、北京师范大学数学科学学院、
出版社：北京 : 北京师范大学出版社, 2012

数学建模竞赛入门与提高

0
索取号：O141.4/20125
作者：周凯、宋军全、邬学军、
出版社：杭州 : 浙江大学出版社, 2012

Introduction to elementary computational modeling : essential concepts, principles, and problem solving

0
索取号：O141.4/E20121
作者：Garrido、 José、
出版社：Boca Raton, FL : CRC Press, c2012.

Models, logics, and higher-dimensional categories : a tribute to the work of Mihâaly Makkai

0
索取号：O141.4-532/E20121
作者：
出版社：Providence, R.I. : American Mathematical Society, c2011.

数学建模优秀论文精选与点评 : 2005-2010

0
索取号：O141.4-53/20121
作者：李学文、李炳照、王宏洲、
出版社：北京 : 清华大学出版社, 2011

数学建模

0
索取号：O141.4/20123
作者：堵秀凤、张剑、张宏民、
出版社：北京 : 北京航空航天大学出版社, 2011

数学建模

0
索取号：O141.4/20124
作者：熊辉、
出版社：北京 : 中国人民大学出版社, 2011

数理逻辑引论

0
索取号：O141/20121
作者：李涛、张岩、刘峰、
出版社：哈尔滨 : 哈尔滨工业大学出版社, 2011

数学建模教程

0
索取号：O141.4/20126
作者：吴孟达、
出版社：北京 : 高等教育出版社, 2011

谢弗函数研究

0
索取号：O141/20113
作者：刘新文、
出版社：广州 : 暨南大学出版社, 2011

代数模型论引论

0
索取号：O141.4/20121
作者：史念东、
出版社：北京 : 科学出版社, 2011