山西大同大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

 


所有图书 可借图书

  1. 西文图书1.Mathematical logic = 数理逻辑 / Second edition. O141/14(2)

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

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

    馆藏复本:3
    可借复本:3
    闫永义, 岳菊梅著.
    中国水利水电出版社, 2019.
    (0) 馆藏

  3. 西文图书3.A course in mathematical logic for mathematicians = 数学家用的数理逻辑教程 / Second edition. O1/63

    馆藏复本:2
    可借复本:2
    Yu.I. Manin ; with collaboration by B. Zilber.
    世界图书出版公司, 2019.
    (0) 馆藏

  4. 西文图书4.An investigation of the laws of thought : On which are founded the mathematical theories of logic... B802/1

    馆藏复本:3
    可借复本:3
    George Boole = 思维规律的研究 / (英) 布尔著.
    Higher Education Press, 2016.
    (0) 馆藏


返回顶部