Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.

Logic in Computer Science - 9780521543101

Logic in Computer Science: Modelling and Reasoning about Systems by Huth

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,

Logic in Computer Science : Modelling and Reasoning about Systems

Logic in Computer Science : Modelling and Reasoning about Systems PB

Logic in Computer Science - Modeling and Reasoning (Second Edition) Michael Huth