关注微信公众号查券更方便
【3-4周达】Logic in Computer Science: Modelling and Reasoning about Systems [9780521543101]