大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic 的图书(共526本)

An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities

0
索取号：B81/E20101
作者：Boole、 George、 1815-1864. CAL n2005025010# ba0yba0y、
出版社：Cambridge ; New York : Cambridge University Press, 2009.

A survey of mathematical logic = 数理逻辑概论

0
索取号：O141/E705
作者：Wang、 Hao （王浩)、 1921-、
出版社：Peking : Science Press, 1962.

Symbolic logic

0
索取号：O141/E8012.5
作者：Copi、 Irving M.、
出版社：New York : Macmillan, c1979.

Proceedings : the Eighteenth International Symposium on Multiple-Valued Logic, May 24-26, 1988, Palma de Mallorca, Spain

0
索取号：TN4-53/E903
作者：International Symposium on Multiple-Valued Logic (18th : 1988 : Palma de Mallorca、 Spain)、IEEE Computer Society.、
出版社：Washington, DC : IEEE Computer Society Press ; Los Angeles, CA : order from IEEE Computer Society, c1988.

The logic of life : the rational economics of an irrational world

0
索取号：F019.4/E20101
作者：Harford、 Tim、 1973-、
出版社：New York : Random House, c2008.

Two applications of logic to mathematics

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

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.

Completeness, compactness, and undecidability : an introduction to mathematical logic

0
索取号：O14/E806
作者：Manaster、 Alfred B.、 1938-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

0
索取号：O132-51/E90118
作者：Logic Symposia (1979 : Hakone-machi、 Japan)、Mèuller、 G. H. (Gert Heinz)、 1923-、Takeuti、 Gaisi、 1926-、Tuguâe、 T. (Tosiyuki)、 1926-、Logic Symposia (1980 : Hakone-machi、 Japan)、
出版社：Berlin ; New York : Springer-Verlag, 1981.

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

0
索取号：O132-51/E90105
作者：Logic Meeting (1987 : Kyoto、 Japan)、Shinoda、 J. (Juichi)、 1948-、Slaman、 T. A. (Theodore Allen)、 1954-、Tuguâe、 T. (Tosiyuki)、 1926-、
出版社：Berlin ; New York : Springer-Verlag, c1989.

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.

A contemporary introduction to logic with applications

0
索取号：B81-43/E801
作者：Carter、 K. Codell (Kay Codell)、 1939-、
出版社：Beverly Hills, Calif. : Glencoe Press, c1977.

Logic

0
索取号：B81/E805
作者：Hodges、 Wilfrid.、
出版社：London : Penguin Books, 1977.