Những quyển sách tương tự: Logic in computer science:modelling and reasoning about systems