关注微信公众号查券更方便
【3-4周达】Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birt... [9781904987703]
![【3-4周达】Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birt... [9781904987703]](/Public/skin2/static/tqkpc/images/grey.gif)