Logic in Computer Science: Modelling and Reasoning about Systems (1999)

Cached

Download Links

by Michael Huth , Mark Ryan
Citations:238 - 8 self