|   | by: Michael Huth · Mark RyanPaperback details (UK). details (USA). details (Germany). details (Canada). ISBN: 978-0-521-65602-3 ISBN-10: 0-521-65602-8 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 | Hardcover | Logic in Computer Science: Modelling and Reasoning about Systems |