|   | by: Michael Huth · Mark RyanHardcover details (UK). details (USA). details (Germany). details (Canada). ISBN: 978-0-521-65200-1 ISBN-10: 0-521-65200-6 Cambridge University Press · 1999 | 
| See also: | ||
| 2012 | Printed Access Code | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 2007 | Hardcover | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 2004 | Paperback | Logic in Computer Science: Modelling and Reasoning about Systems | 
| 1999 | Paperback | Logic in Computer Science: Modelling and Reasoning about Systems |