9781402023347PerspectiveOriginsModern￥18350去看看澜瑞图书专营店发布了【3-4周达】A Modern Perspective on Type Theory : From its Origins until Today [9781402023347]
![【3-4周达】A Modern Perspective on Type Theory : From its Origins until Today [9781402023347]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01veVcmo28LaNeh9Iai_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
