名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: *:* , 检索到: 1 条结果, 检索时间: 0.077 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


    主题

  1. 可计算性 (1)
  2. [教材] (1)
  3. [数理逻辑] (1)
  4. 电子计算机 (1)

    著者

  1. [(美)george s.boolos,(美)john p.burgess,(美)richard c.jeffrey著] (1)
  2. [伯吉斯] (1)
  3. 何自强 (1)
  4. 何自强等译 (1)
  5. 博洛斯 (1)
  6. 杰弗里 (1)
保存至书单: