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

分类依据:参见B815,O211.

Notes on logic and set theory

0
索取号:O141/E904
作者:Johnstone、 P. T.、
出版社:Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.

Symbolic logic and mechanical theorem proving

0
索取号:O141/E805
作者:Chang、 Chin-Liang、 1937-、Lee、 Richard Char-Tung、 1939- joint author.、
出版社:New York, Academic Press [1973]

The logic book

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

Introduction to symbolic logic

0
索取号:O141/E807
作者:Carney、 James Donald.、
出版社:Englewood Cliffs, N.J. l: Prentice-Hall, [1970].

A mathematical introduction to logic

0
索取号:O141/E808
作者:Enderton、 Herbert B.、
出版社:New York : Academic Press, [1972].

Logic for mathematicians

0
索取号:O141/E809
作者:Hamilton、 A. G.、 1943-、
出版社:Cambridge [Eng.] ; New York : Cambridge University Press, 1978.

Mathematical modelling methodology,: models, and micros

0
索取号:O141.4/E902
作者:
出版社:Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press [distributor], 1986.

Mathematical modelling : a source book of case studies

0
索取号:O141.4/E992
作者:
出版社:Oxford [England] ; New York : Oxford University Press, 1990.

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.

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.