关注微信公众号查券更方便
【4周达】Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets [9781441929051]