海外直订Semantics of Type Theory: Correctness,Completeness and Independence Results 类型理论的语义学：正确性、完备

欢迎加入我爱买系列

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

海外直订Semantics of Type Theory: Correctness, Completeness and Independence Results 类型理论的语义学：正确性、完备

914元~~￥1014~~预计返￥ 4.32100元券

活动结束时间：12-09 19:59 累计销量： 0件

TAG标签：语义学正确性完备Independence

手机淘宝扫码领券购买