关注微信公众号查券更方便
【3-4周达】Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas [9783031211140]
![【3-4周达】Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas [9783031211140]](/Public/skin2/static/tqkpc/images/grey.gif)