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

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.

Concepts of nonparametric theory

0
索取号：O143/E903
作者：Pratt、 John W. (John Winsor)、 1931-、Gibbons、 Jean Dickinson、 1938-、
出版社：New York : Springer-Verlag, c1981.

Axiomatic set theory

0
索取号：O144/E601
作者：Bernays、 Paul、 1888-1977.、Fraenkel、 Abraham A.、
出版社：Amsterdam : North-Holland Pub. Co., 1958.

Introduction to the foundations of mathematics

0
索取号：O143/E601
作者：Wilder、 Raymond Louis、 1896-、
出版社：New York : Wiley, c1952.

Two applications of logic to mathematics

0
索取号：O141/E8011
作者：Takeuti、 Gaisi、 1926-、
出版社：[Tokyo] : Iwanami Shoten ; [Princeton, N.J.] : Princeton University Press, 1978.

Sets, sequences, and mappings : the basic concepts of analysis

0
索取号：O144/E708
作者：Anderson、 Kenneth W.、Hall、 Dick Wick、 1912-、
出版社：New York : Wiley, [1963]

数学建模及其实验

0
索取号：O141.4/20101
作者：严喜祖、宋中民、毕春加、
出版社：北京 : 科学出版社, 2009

The infinite in mathematics : logico-mathematical writings

0
索取号：O14/E808
作者：Kaufmann、 Felix、 1895-1949.、McGuinness、 Brian.、
出版社：Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1978.

Equivalents of the axiom of choice

0
索取号：O14/E704
作者：Rubin、 Herman.、Rubin、 Jean E.、
出版社：Amsterdam : North-Holland Pub. Co., 1963.

The unprovability of consistency : an essay in modal logic

0
索取号：O141.4/E803
作者：Boolos、 George.、
出版社：Cambridge ; New York : Cambridge University Press, 1979.

Multiple-conclusion logic

0
索取号：O141/E8010
作者：Shoesmith、 D. J.、Smiley、 T. J. (Timothy John)、 joint author.、
出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

0
索取号：O141-55/E806
作者：Logic Colloquium (1977 : Wrocław、 Poland)、Pacholski、 Leszek.、Paris、 Jeff.、Macintyre、 Angus.、
出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.

Fuzzy sets and decision analysis

0
索取号：O144/E905
作者：
出版社：Amsterdam ; New York : North-Holland ; New York : Distributors, Elsevier Science, c1984.

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

0
索取号：O141-53/E903
作者：Logic Colloquium '87 (1987 : Granada、 Spain)、Ebbinghaus、 Heinz-Dieter、 1939-、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.

Completeness, compactness, and undecidability : an introduction to mathematical logic

0
索取号：O14/E806
作者：Manaster、 Alfred B.、 1938-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]