Logic in Computer Science: Modelling and Reasoning about Systems (Paperback or S

Logic in Computer Science : Modelling and Reasoning About Systems, Paperback ...

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

Logic in Computer Science: Modelling and Reasoning about Systems

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

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

Logic in Computer Science 2ed by Huth, Michael; Ryan, Mark