Quick view Compare Choose Options Brand: Cambridge University Press Logic in Computer Science: Modelling and Reasoning about Systems MSRP: Was: Now: $15.59 - $81.06 Quick view Compare Choose Options