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

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

0
索取号：O141-53/E901
作者：Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.

Teoria generale dei numeri relativi : con ingresso dei numeri moltiplicatori e divisori : testo bilingue / di Franco Spisani = General theory of directed numbers : with introduction of multiplying and dividing numbers

0
索取号：O141/E901
作者：Spisani、 Franco.、
出版社：Bologna : International Logic Review, 1983-

Solutions to selected exercises in the logic book

0
索取号：O141/E906
作者：Bergmann、 Merrie.、Moor、 James、 1942-、Nelson、 Jack、 1944-、
出版社：New York : Random House, c1980.

Proceedings of the sixth annual Symposium on Computational Geometry : Berkeley, California, June 6-8, 1990

0
索取号：O141.3-53/E991
作者：Symposium on Computational Geometry (6th : 1990 : Berkeley、 Calif.)、SIGGRAPH.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York, N.Y. : ACM Press, c1990.

Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder

0
索取号：O141.3-532/E20011
作者：
出版社：Providence, R.I. : American Mathematical Society, c2000.

Algebraic foundations of many-valued reasoning

0
索取号：O141/E20011
作者：Cignoli、 Roberto.、D'Ottaviano、 Itala M. L.、 1944-、Mundici、 Daniele、 1946-、
出版社：Boston : Kluwer Academic Publishers, 1999.

Construction of mathematical models in economics, ecology, and environment

0
索取号：O141.1/HN
作者：Hritonenko、 Natali.、Yatsenko、 Yuri、
出版社：Boston, MA : Kluwer Academic Publishers, 1999.

Difference sets, sequences and their correlation properties

0
索取号：O144/E20031
作者：
出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c1999.

Mathematics in nature : modeling patterns in the natural world

0
索取号：O141.4/E20071
作者：Adam、 John A.、
出版社：Princeton, N.J. : Princeton University Press, 2003.

Elements of set theory = 集合论基础

0
索取号：O144/E801-2
作者：Enderton、 Herbert B.、
出版社：北京 : Posts & Telecom Press, 2006.

Mathematical modeling in economics, ecology and the environment = 经济、生态与环境科学中的数学模型

0
索取号：O141.1/E20061
作者：Hritonenko、 Natali.、Yatsenko、 IU. P. (IUrii Petrovich)、
出版社：北京 : 科学出版社, 2006.

Extensions of first order logic

0
索取号：O141/E20061
作者：Manzano、 Mar?ia.、
出版社：Cambridge ; New York : Cambridge University Press, 2005.

Computational methods in large scale simulation

0
索取号：O141.4/E20061
作者：
出版社：Singapore ; Hackensack, NJ : World Scientific, c2005.

An introduction to formal languages and automata = 形式语言与自动机导论

0
索取号：O141/E20051.3
作者：Linz、 Peter.、
出版社：北京 : China Machine Press, 2004.

Mathematical models in the social and behavioral sciences

0
索取号：O141.4/E905
作者：Rapoport、 Anatol、 1911-、
出版社：New York : Wiley, c1983.

Rough sets : mathematical foundations

0
索取号：O144/E20041
作者：Polkowski、 Lech.、
出版社：Heidelberg : Physica-Verlag, c2002.