潍坊科技学院图书馆书目检索系统

| 暂存书架(0) | 登录



检索到 9 条 主题词=数理逻辑 的结果    

 


所有图书 可借图书

  1. 中文图书1.弗协调集合论模型研究 O141/11

    馆藏复本：2
    可借复本：2     何建锋著
    中国社会科学出版社 2024
    (0) 馆藏

  2. 中文图书2.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems O141/10

    馆藏复本：2
    可借复本：2     Michael Huth, Mark Ryan
    机械工业出版社 2025
    (0) 馆藏

  3. 中文图书3.逻辑迷宫 O141/8

    馆藏复本：3
    可借复本：3     (美) 雷蒙德·M. 斯穆里安著
    新星出版社 2023
    (0) 馆藏

  4. 中文图书4.中国表示法及其逻辑研究 O141/7

    馆藏复本：3
    可借复本：3     杜国平著
    中国社会科学出版社 2023
    (0) 馆藏

  5. 中文图书5.数理逻辑的思想和方法 O141/5

    馆藏复本：3
    可借复本：3     昂扬编著
    上海人民出版社 2024
    (0) 馆藏

  6. 中文图书6.从数学到哲学 O141/6

    馆藏复本：2
    可借复本：2     (美) 王浩著
    广西师范大学出版社 2024
    (0) 馆藏

  7. 中文图书7.烧脑的逻辑题 O141/3

    馆藏复本：3
    可借复本：3     (英)亚历克斯·贝洛斯(Alex Bellos)著
    中信出版集团股份有限公司 2021
    (0) 馆藏

  8. 中文图书8.迷人的逻辑题 O14/2

    馆藏复本：3
    可借复本：3     (英) 亚历克斯·贝洛斯著
    中信出版集团 2018
    (0) 馆藏

  9. 中文图书9.自动推理导论 O141/1

    馆藏复本：3
    可借复本：3     邱玉辉,张为群编著
    电子科技大学出版社 1992.6
    (0) 馆藏

返回顶部