检索到 43 条 主题词=Logic, Symbolic and mathematical 的结果
-
西文图书1.Classical groups, derangements and primes / O152.3/BTC
馆藏复本：2
可借复本：2 Timothy C. Burness, Michael Giudici = 典型群、错排与素数 / 提摩太·C. 布尔尼西, 迈克尔·乔迪奇著.
Harbin Institute of Technology Press, 2020.
(0) 馆藏 -
西文图书2.How to prove it : a structured approach 2nd ed.
馆藏复本：0
可借复本：0 Daniel J. Velleman.
Cambridge University Press, 2006.
(0) 馆藏 -
西文图书3.An investigation of the laws of thought : on which are founded the mathematical theories of logic... B802/BG
馆藏复本：2
可借复本：2 George Boole.
Higher Education Press, 2016.
(0) 馆藏 -
西文图书4.an algebraic introduction to mathematical logic / O14/BDW
馆藏复本：2
可借复本：1 D. W. Barnes, J. M. Mack.
World Publishing Corp., 1975.
(0) 馆藏 -
西文图书5.Theorie dialectique des probabilites englobant leurs calculs classique et quantique / O211/BG
馆藏复本：1
可借复本：0 Georges Bodiou.
Gauthier-Villars, 1964.
(0) 馆藏 -
西文图书6.Grundlagen der Mathematik / 2nd ed. O143/HD/(2)/V.1
馆藏复本：1
可借复本：0 D. Hilbert und P. Bernays.
Springer, 1968-70.
(0) 馆藏 -
西文图书7.Mathematical logic and the foundation of mathematics : an introductory survey. O14/KGT
馆藏复本：1
可借复本：0 Kneebone, G. T.
Van Nostrand ; [1963]
(0) 馆藏 -
西文图书8.Alan Turing : his work and impact / K835.616.11/ATH
馆藏复本：4
可借复本：4 [edited by] Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
Harbin Institute of Technology Press, 2016.
(0) 馆藏 -
西文图书9.Logical syntax of language = 语言的逻辑句法 / H043/CR
馆藏复本：2
可借复本：1 Rudolf Carnap著 ; 蒋运鹏导读.
Shanghai Foreign Language Education Press, 2012.
(0) 馆藏 -
西文图书10.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / O143/MA
馆藏复本：1
可借复本：1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
西文图书11.Mathematical logic : an introduction to model theory / O141/LAH
馆藏复本：1
可借复本：1 A. H. Lightstone ;edited by H. B. Enderton.
Plenum Press, c1978.
(0) 馆藏 -
西文图书12.Bridge to abstract mathematics : mathematical proof and structures / O141/MRP
馆藏复本：2
可借复本：2 Ronald P. Morash.
Random House, c1987.
(0) 馆藏 -
西文图书13.The logical basis for computer programming. V.I, Deductive reasoning / TP31/MZ
馆藏复本：3
可借复本：3 Zohar Manna, Richard. Waldinger.
Addison-Wesley, 1985.
(0) 馆藏 -
西文图书14.A course in mathematical logic / O141/MII
馆藏复本：2
可借复本：2 Y. I. Manin ; translated from the Russian by Neal Koblitz.
World Publishing Co., 2000.
(0) 馆藏 -
西文图书15.Mathematical logic / O141/MJD
馆藏复本：2
可借复本：2 J. Donald Monk.
World Publishing Corp., 1992.
(0) 馆藏 -
西文图书16.The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms o O144/GK
馆藏复本：1
可借复本：1 by Kurt Godel.
Princeton university press, 1940.
(0) 馆藏 -
西文图书17.The elements of mathematical logic / 1st ed. O141/RPC
馆藏复本：1
可借复本：1 by Paul C. Rosenbloom.
Dover Publications, 1950.
(0) 馆藏 -
西文图书18.Logic for mathematicians / O141/RJB
馆藏复本：3
可借复本：3 J Barkley Rosser.
McGraw-Hill, 1953.
(0) 馆藏 -
西文图书19.Schaum's outline of theory and problems of discrete mathematics / O24/LS
馆藏复本：1
可借复本：1 by Seymour Lipschutz.
McGraw-Hill, c1976.
(0) 馆藏 -
西文图书20.Mathematical logic O141/SJR
馆藏复本：2
可借复本：1 [by] Joseph R. Shoenfield.
Addison-Wesley Pub. Co. [1967]
(0) 馆藏
