欢迎加入我爱买系列
我爱买
  • 搜淘宝
  • 搜京东
微信扫一扫

关注微信公众号
查券更方便


海外直订Semantics of Type Theory: Correctness, Completeness and Independence Results 类型理论的语义学:正确性、完备
海外直订Semantics of Type Theory: Correctness, Completeness and Independence Results 类型理论的语义学:正确性、完备
914元¥1014预计返¥ 4.32100元券
活动结束时间:11-30 23:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情
  • 特别推荐