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

分类依据：参见B815,O211.

Two applications of logic to mathematics

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

数学建模及其实验

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

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.

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.

数学建模基础案例

0
索取号：O141.4/20102
作者：杜建卫、王若鹏、
出版社：北京 : 化学工业出版社, 2009

Word problems II : the Oxford book

0
索取号：O141-55/E904
作者：
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Classification theory and the number of non-isomorphic models

0
索取号：O141-55/E805
作者：Shelah、 Saharon.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978.

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

0
索取号：O141-55/E804
作者：Logic Colloquium (1976 : Oxford、 England)、Gandy、 R. O. (Robin O.)、Hyland、 John Martin Elliott.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for U.S.A. and Canada, Elsevier North-Holland, c1977.

パズルとパラドックス

0
索取号：O141/J902
作者：内井惣七、
出版社：東京 : 講談社, 1989.10

真理とは何か

0
索取号：O141/J901
作者：大熊正、
出版社：東京 : 講談社, 1981.11

数学建模

0
索取号：O141.4/20053..2
作者：乔达诺、叶其孝、姜启源、
出版社：北京 : 机械工业出版社, 2009

MATLAB建模、仿真及应用

0
索取号：O141.4/20095
作者：刘同娟、郭键、刘军 (多元统计)、
出版社：北京 : 中国电力出版社, 2009

数学模型与数学建模

0
索取号：O141.4/20067.2
作者：陈汝栋、于延荣、
出版社：北京 : 国防工业出版社, 2009

多值逻辑的方法和理论 : 非正规多值逻辑研究

0
索取号：O141.3/20091
作者：霍书全、
出版社：北京 : 科学出版社, 2009