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

Logic in Computer Science Modelling and Reasoning about by Mark Ryan PAPERBACK

Essential Logic for Computer Science (Mit Press)

Progress in Computer Science and Applied Logic Ser.: Introduction to Quantum Com

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

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

Logic in Computer Science.by Huth New 9780521543101 Fast Free Shipping**

Logic in Computer Science Modelling and Reasoning about Systems Huth Ryan 2e