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

分类依据：参见B815,O211.

基于格值逻辑的不确定性推理

0
索取号：O141/20102
作者：陈树伟、
出版社：成都 : 西南交通大学出版社, 2009

模型降阶方法

0
索取号：O141.3/20101
作者：蒋耀林、
出版社：北京 : 科学出版社, 2010

数理逻辑

0
索取号：O141/20101
作者：张清宇、
出版社：北京 : 中国社会科学出版社, 2010

数学建模与数学实验

0
索取号：O141.4/20122
作者：汪晓银、周保平、
出版社：北京 : 科学出版社, 2010

数学建模的认识与实践

0
索取号：O141.4/20104
作者：杨春德、
出版社：重庆 : 重庆大学出版社, 2009

交互式定理证明与程序开发 : Coq归纳构造演算的艺术 : coq'art: the calculus of inductive constructions

0
索取号：O141-39/20101
作者：贝尔托、卡斯特拉、顾明、
出版社：北京 : 清华大学出版社, 2010

数学建模简明教程

0
索取号：O141.4/20103
作者：党林立、孙晓群、
出版社：西安 : 西安电子科技大学出版社, 2009

Recursion theory

0
索取号：O141.3/E20101
作者：Shoenfield、 Joseph R. (Joseph Robert)、 1927-、
出版社：Natick, Mass. : A.K. Peters, [c2001]

Thinking recursively with Java

0
索取号：O141.3/E20102
作者：Roberts、 Eric.、
出版社：Hoboken, NJ : John Wiley, c2006.

Logikkalkèule

0
索取号：O141/G801
作者：Richter、 Michael M.、 1938-、
出版社：Stuttgart : Teubner, 1978.

Methode der finiten Elemente : e. Einf. unter bes. Berèucks. d. Rechenpraxis

0
索取号：O141.2/G901
作者：Schwarz、 Hans Rudolf、 1930-、
出版社：Stuttgart : Teubner, 1980.

A survey of mathematical logic = 数理逻辑概论

0
索取号：O141/E705
作者：Wang、 Hao （王浩)、 1921-、
出版社：Peking : Science Press, 1962.

Outlines of a formalist philosophy of mathematics

0
索取号：O141.4/E601
作者：Curry、 Haskell B. (Haskell Brooks)、 1900-、
出版社：Amsterdam : North-Holland Pub. Co., 1951.

Solvable cases of the decision problem

0
索取号：O141/E604
作者：Ackermann、 W. (Wilhelm)、 1896-、
出版社：Amsterdam, North-Holland Pub. Co., 1954.

Introduction to metamathematics

0
索取号：O141.2/E601
作者：Kleene、 Stephen Cole、 1909-、
出版社：Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1952.

Symbolic logic

0
索取号：O141/E8012.5
作者：Copi、 Irving M.、
出版社：New York : Macmillan, c1979.