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

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 : Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems

The Mathematica Book Stephen Wolfram 4th Ed HC (1999) Version 4 Cambridge Vtg VG

Logic in Computer Science: Modelling and Reasoning about Systems - paperback...

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