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

公理集合引论

0
索取号：O144/20071
作者：涂德辉、
出版社：重庆 : 西南师范大学出版社, 2007

数学建模教程

0
索取号：O141.4/20083
作者：许洪范、
出版社：北京 : 国防工业出版社, 2007

Set theory

0
索取号：O144/E802.3
作者：Jech、 Thomas J.、
出版社：北京 : 世界图书出版公司, 2007.

基于包含度的不确定推理

0
索取号：O141/20074
作者：张文修、梁怡、徐萍、
出版社：北京 : 清华大学出版社, 2007

Model theory : an introduction = 模型论引论

0
索取号：O141.4/E20072
作者：Marker、 D. (David)、 1958-、
出版社：北京 : 科学出版社, 2007.

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究

0
索取号：O141.3/E20072
作者：Soare、 R. I. (Robert Irving)、 1940-、
出版社：北京 : 科学出版社, 2007

Computability and logic = 可计算性与数理逻辑

0
索取号：O141.3/E20071.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Beijing : Pub. House of Electronic Industry, 2003.

Compound statements and mathematical logic

0
索取号：O14/E701
作者：Cangelosi、 Vincent E.、
出版社：Columbus, Ohio : C.E. Merrill Books, [1967].

Sets, sentences and operations

0
索取号：O144/E702
作者：Johnson、 Donovan A.、Glenn、 William H.、
出版社：St. Louis : Webster Pub. Co., 1960.

Mathematical systems : finite and infinite

0
索取号：O143/E702
作者：Hackworth、 Robert D.、
出版社：New York : Holt, Rinehart and Winston, [1969].

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

0
索取号：O141.3/E20072-2
作者：Soare、 R. I. (Robert Irving)、 1940-、
出版社：Berlin ; New York : Springer-Verlag, c1987.

Proof theory

0
索取号：O141-55/E901.2
作者：Takeuti、 Gaisi、 1926-、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.

Mathematical logic

0
索取号：O141/E701
作者：Shoenfield、 Joseph R. (Joseph Robert)、 1927-、
出版社：Reading, Mass. : Addison-Wesley Pub. Co., c1967.

Mathematical logic

0
索取号：O141/E993
作者：Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、
出版社：New York : Plenum Press, c1990.

Methods of real analysis

0
索取号：O143/E701
作者：Goldberg、 Richard R.、
出版社：N.Delhi ; New York : IBH ; Wiley, 1964.

Recursion sequences

0
索取号：O141.3/E803
作者：Markushevich、 A. I. (Alekseĭ Ivanovich)、 1908-、
出版社：Moscow : Mir, 1975.