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

Guide to mathematical modelling

0
索取号:O141.4/E904
作者:
出版社:World : Publishing Corp., Boca Raton, Fla. : CRC Press, 1990, c1989 (1991 printing).

New trends in mathematical modelling : proceedings of the 2nd International Seminar on Trends in Mathematical Modelling, JabłОnna near Warsaw, 15-19 December 1974

0
索取号:O141.4-53/E801
作者:International Seminar on Trends in Mathematical Modelling.、Straszak、 A.、OwsíНski、 J. W. (Jan W.)、Polska Akademia Nauk.、
出版社:WrocłАw : ZakłАd Narodowy Imienia Ossolinskich, 1978.

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

0
索取号:O141.3/E993
作者:
出版社:Berlin ; New York : Springer-Verlag, c1990.

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

0
索取号:O141-53/E902
作者:Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、
出版社:Berlin ; New York : Springer-Verlag, c1985.

Choice sequences : a chapter of intuitionistic mathematics

0
索取号:O141/E806
作者:Troelstra、 A. S. (Anne Sjerp)、
出版社:Oxford [Eng.] : Clarendon Press, 1977.

Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979

0
索取号:O14-53/E801
作者:Scandinavian Logic Symposium.、Jensen、 Finn V.、Mayoh、 B. H.、MøЛler、 Karen K.、
出版社:Aalborg : Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag, 1979.

Algebraic model theory

0
索取号:O141.4-532/E991
作者:
出版社:Dordrecht ; Boston : Kluwer Academic Publishers, 1997.

Computability : a mathematical sketchbook

0
索取号:O141.3/E992
作者:Bridges、 D. S. (Douglas S.)、 1945-、
出版社:New York : Beijing : Springer-Verlag, World Publishing Co. c1994. 1997

Computability : a mathematical sketchbook

0
索取号:O141.3/E991
作者:
出版社:New York : Springer-Verlag, c1994.

Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings

0
索取号:O141-532/E991
作者:
出版社:Berlin ; New York : Springer-Verlag, c1994.

Quantifiers : logics, models and computation

0
索取号:O141/E992
作者:
出版社:Dordrecht : Kluwer Academic Publishers, c1995.

An Introduction to fuzzy logic applications in intelligent systems

0
索取号:O142/E991
作者:
出版社:Boston : Kluwer Academic, c1992.

Mathematical modelling skills

0
索取号:O141.4/E991
作者:Edwards、 Dilwyn、Hamson、 Michael.、
出版社:Houndmills, Basingstoke, Hampshire : Macmillan, 1996.

数学建模原理与案例

0
索取号:O141.4/20072
作者:冯杰、
出版社:北京 : 科学出版社, 2007

逻辑悖论研究引论

0
索取号:O144.2/20071
作者:张建军、
出版社:南京 : 南京大学出版社, 2002

可计算性与数理逻辑

0
索取号:O141/20073
作者:布勒斯、 G. S.、伯吉斯、 J. P.、杰弗里、 R. C.、何自强、
出版社:北京 : 电子工业出版社, 2005