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

数理逻辑与集论 : 新数入门概念

0
索取号：O144/711
作者：陈颐昌 编著、
出版社：香港 : 万里书店, 1977，1983(重印)

数理逻辑

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.

Kardinal- und ordinalzahlen

0
索取号：O144/G801
作者：Klaua、 Dieter.、
出版社：Berlin : Akademie-Verlag, 1974-

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.

Einleitung in die mengenlehre

0
索取号：O144/G603
作者：Fraenkel、 Abraham Adolf、 1891-1965.、
出版社：Berlin : J. Springer, 1928.

Outlines of a formalist philosophy of mathematics

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

Höhere algebra

0
索取号：O143/G601
作者：Hasse、 Helmut、 1898-1979.、
出版社：Berlin : W. de Gruyter, 1933-37.

Solvable cases of the decision problem

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