关注微信公众号查券更方便
【4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction ... [9789811236471]
![【4周达】Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction ... [9789811236471]](/Public/skin2/static/tqkpc/images/grey.gif)