大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 3 条 责任者=陆钟万 的结果    

 


所有图书 可借图书

  1. 中文图书1.面向计算机科学的数理逻辑 O141/L89

    馆藏复本：5
    可借复本：5     陆钟万著
    科学出版社 2002
    (0) 馆藏

  2. 中文图书2.数理逻辑基础.上册 O141/H66:1

    馆藏复本：10
    可借复本：1     胡世华，陆钟万著
    科学出版社 1983.11
    (0) 馆藏

  3. 中文图书3.数字逻辑与机器证明 O142/L89

    馆藏复本：10
    可借复本：2     陆钟万
    科学出版社 1983.11
    (0) 馆藏

返回顶部