| 暂存书架(0) | 登录

检索到 43 条 主题词=Logic, Symbolic and mathematical 的结果    

 


所有图书 可借图书

上一页 1 / 3  下一页 到第
  1. 西文图书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. 西文图书2.How to prove it : a structured approach 2nd ed.

    馆藏复本:0
    可借复本:0
    Daniel J. Velleman.
    Cambridge University Press, 2006.
    (0) 馆藏

  3. 西文图书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. 西文图书4.an algebraic introduction to mathematical logic / O14/BDW

    馆藏复本:2
    可借复本:1
    D. W. Barnes, J. M. Mack.
    World Publishing Corp., 1975.
    (0) 馆藏

  5. 西文图书5.Theorie dialectique des probabilites englobant leurs calculs classique et quantique / O211/BG

    馆藏复本:1
    可借复本:0
    Georges Bodiou.
    Gauthier-Villars, 1964.
    (0) 馆藏

  6. 西文图书6.Grundlagen der Mathematik / 2nd ed. O143/HD/(2)/V.1

    馆藏复本:1
    可借复本:0
    D. Hilbert und P. Bernays.
    Springer, 1968-70.
    (0) 馆藏

  7. 西文图书7.Mathematical logic and the foundation of mathematics : an introductory survey. O14/KGT

    馆藏复本:1
    可借复本:0
    Kneebone, G. T.
    Van Nostrand ; [1963]
    (0) 馆藏

  8. 西文图书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. 西文图书9.Logical syntax of language = 语言的逻辑句法 / H043/CR

    馆藏复本:2
    可借复本:1
    Rudolf Carnap著 ; 蒋运鹏导读.
    Shanghai Foreign Language Education Press, 2012.
    (0) 馆藏

  10. 西文图书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. 西文图书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. 西文图书12.Bridge to abstract mathematics : mathematical proof and structures / O141/MRP

    馆藏复本:2
    可借复本:2
    Ronald P. Morash.
    Random House, c1987.
    (0) 馆藏

  13. 西文图书13.The logical basis for computer programming. V.I, Deductive reasoning / TP31/MZ

    馆藏复本:3
    可借复本:3
    Zohar Manna, Richard. Waldinger.
    Addison-Wesley, 1985.
    (0) 馆藏

  14. 西文图书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. 西文图书15.Mathematical logic / O141/MJD

    馆藏复本:2
    可借复本:2
    J. Donald Monk.
    World Publishing Corp., 1992.
    (0) 馆藏

  16. 西文图书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. 西文图书17.The elements of mathematical logic / 1st ed. O141/RPC

    馆藏复本:1
    可借复本:1
    by Paul C. Rosenbloom.
    Dover Publications, 1950.
    (0) 馆藏

  18. 西文图书18.Logic for mathematicians / O141/RJB

    馆藏复本:3
    可借复本:3
    J Barkley Rosser.
    McGraw-Hill, 1953.
    (0) 馆藏

  19. 西文图书19.Schaum's outline of theory and problems of discrete mathematics / O24/LS

    馆藏复本:1
    可借复本:1
    by Seymour Lipschutz.
    McGraw-Hill, c1976.
    (0) 馆藏

  20. 西文图书20.Mathematical logic O141/SJR

    馆藏复本:2
    可借复本:1
    [by] Joseph R. Shoenfield.
    Addison-Wesley Pub. Co. [1967]
    (0) 馆藏

上一页 1 / 3  下一页 到第

返回顶部