西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

 


所有图书 可借图书

上一页 1 / 2  下一页 到第
  1. 西文图书1.Standard completeness for semilinear substructural logics / O141/E6

    馆藏复本:2
    可借复本:2
    Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
     
    (0) 馆藏

  2. 西文图书2.Advances in applications of logical dynamic systems = 逻辑动态系统的应用研究进展 / O141/E4

    馆藏复本:3
    可借复本:3
    闫永义, 岳菊梅著.
     
    (0) 馆藏

  3. 西文图书3.Mathematical logic = 数理逻辑 / Second edition. O141/E2=2

    馆藏复本:2
    可借复本:2
    H.-D. Ebbinghaus, J. Flum, W. Thomas.
     
    (0) 馆藏

  4. 西文图书4.The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second... B561.54/E1

    馆藏复本:2
    可借复本:2
    Bernard Linsky.
    Harbin Institute of Technology Press, 2018.
    (0) 馆藏

  5. 西文图书5.Alan Turing : his work and impact (I) K835.616.11/E1-1

    馆藏复本:3
    可借复本:3
    Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
    Harbin Institute of Technology Press, 2016.
    (0) 馆藏

  6. 西文图书6.Alan Turing : his work and impact (II) K835.616.11/E1-2

    馆藏复本:3
    可借复本:3
    Cooper, S.B., Leeuwen, J.V. = 艾伦·图灵 : 他的工作与影响 / 库珀, 莱文著.
    Harbin Institute of Technology Press, 2016.
    (0) 馆藏

  7. 西文图书7.Discrete mathematics and its applications = 离散数学及其应用 / O158/E7

    馆藏复本:4
    可借复本:4
    Kenneth H. Rosen著.
    China Machine Press, 2010.
    (0) 馆藏

  8. 西文期刊8.The Journal of symbolic logic. O1/26X

    馆藏复本:3
    可借复本:3
    Langford, Cooper Harold,
    Association for Symbolic Logic, 1936-
    (0) 馆藏

  9. 西文图书9.Introduction to mathematical logic : set theory, computable functions, model theory / O141/E7

    馆藏复本:2
    可借复本:2
    Jerome Malitz.
    Springer-Verlag, c1979.
    (0) 馆藏

  10. 西文图书10.Handbook of mathematical logic / O141-62/E4:90

    馆藏复本:6
    可借复本:6
    edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
    North-Holland Pub. Co., 1977.
    (0) 馆藏

  11. 西文图书11.Logic for problem solving / TP11/E15

    馆藏复本:3
    可借复本:3
    Robert Kowalski.
    Elsevier North Holland, c1979.
    (0) 馆藏

  12. 西文图书12.Mathematical logic = 数理逻辑 / O141/2E

    馆藏复本:1
    可借复本:1
    H.-D. Ebbinghaus, J. Flum, W. Thomas.
    世界图书出版公司, 2008.
    (0) 馆藏

  13. 西文图书13.Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, TP11-53/5:(86)E

    馆藏复本:1
    可借复本:1
    edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, a
    M. Kaufmann Publishers, c1986.
    (0) 馆藏

  14. 西文图书14.A course in mathematical logic / O14/E1

    馆藏复本:1
    可借复本:1
    Y. I. Manin ; translated from the Russian by Neal Koblitz.
    Springer Verlag, c1977.
    (0) 馆藏

  15. 西文图书15.The logical basis for computer programming, v.2 : deductive systems / TP311/E5:2

    馆藏复本:2
    可借复本:2
    Zohar Manna, Richard Waldinger.
    Addison-Wesley, c1985-c1990.
    (0) 馆藏

  16. 西文图书16.The logical basis for computer programming, v. 1 : deductive reasoning / TP311/E5:1

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

  17. 西文图书17.10th International Conference on Automated Deduction : proceedings : Kaiserslautern, FRG, July 24-2 TP18-53/E21:10TH(90)

    馆藏复本:1
    可借复本:1
    M.E. Stickel, (ed.).
    Springer-Verlag, c1990.
    (0) 馆藏

  18. 西文图书18.Fuzzy logic technology and applications / O231/15E

    馆藏复本:1
    可借复本:1
    Robert J. Marks II, editor; IEEE Technical Activities Board
    IEEE, 1994.
    (0) 馆藏

  19. 西文图书19.Foundations : essays in philosophy, logic, mathematics, and economics / G30/E2

    馆藏复本:1
    可借复本:1
    F. P. Ramsey ; edited by D. H. Mellor ; with introductions by D. H. Mellor ... [et. al.].
    Humanties Press, 1978.
    (0) 馆藏

  20. 西文图书20.Mathematical foundations of programming / TP31/E58

    馆藏复本:4
    可借复本:4
    Frank S. Beckman.
    Addison-Wesley, c1980.
    (0) 馆藏

上一页 1 / 2  下一页 到第

返回顶部