名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Logic. , 检索到: 923 条结果, 检索时间: 0.109 秒 , 排序选项: 排序方式: 隐藏分类导航


已经限定的分面

    图书馆:

  1. 上海海事大学图书馆 x

    馆藏地点:

    图书馆

  1. 中心馆
  2. [上海海事大学图书馆]
保存至书单:
1.
Algorithmic Logic 511
出版社: D.Reidel Publishing Company   出版日期: 1987.
文献类型: 图书 , 索书号: 51.3/M 675
2.
Programming Logic *511
出版社: Science Research Associates,Inc   出版日期: 1978.
文献类型: 图书 , 索书号: 73.87221/L 487a
3.
Mathematical logic 511
出版社: Addison-Wesley publishing company   出版日期: 1967.
文献类型: 图书 , 索书号: 51.31/S 559
4.
The way of logic 已借1次.
著者: 莫里西
出版社: 南京师范大学出版社   出版日期: 2018
文献类型: 图书 , 索书号: H0/4861
5.
Methods of logic 511
出版社: Harvard University Press   出版日期: 1982.
文献类型: 图书 , 索书号: 16.03/Q 7-4
6.
出版社: Massachusetts Institute of Technology   出版日期: 1991.
文献类型: 图书 , 索书号: 73.87221/T 556
7.
Logic designer's manual 511
出版社: Reston Publishing Company   出版日期: 1977.
文献类型: 图书 , 索书号: 73.8722073/L 566
8.
Mathematical logic 已借2次.
出版社: 世界图书出版公司   出版日期: 2019
文献类型: 图书 , 索书号: O141/4433-1
9.
Annals of Mathematical Logic
著者:
出版社:   出版日期:
文献类型: 期刊 , 索书号: 51.3/LB1(E)
10.
Philosophy of Logic *511
出版社: University of California Press   出版日期: 1976
文献类型: 图书 , 索书号: 16.038/P 568