Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth Back to product details page >