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

分类依据：参见B815,O211.

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.

Recursion sequences

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

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.

Mathematics in nature : modeling patterns in the natural world

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

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.